tag : coordination languages

Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013) — Stefano Mariani, Andrea Omicini

Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013@SAC 2013) — Stefano Mariani, Andrea Omicini

Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli