tag : stochastic coordination
6 publications
Coordination Mechanisms for the Modelling and Simulation of Stochastic Systems: The Case of Uniform Primitives (SCS M&S Magazine, 2014) — Stefano Mariani, Andrea Omicini Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013) — Stefano Mariani, Andrea Omicini Tuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013) — Stefano Mariani, Andrea Omicini Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013@SAC 2013) — Stefano Mariani, Andrea Omicini Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli StoKlaim: A Stochastic Extension of Klaim (2006) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink