Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
COORDINATION 2013
15th International Conference on Coordination Models and Languages
Florence, Italy, 03/06/2013–06/06/2013
Coordination 2013 seeks high-quality papers on programming languages and coordination models, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verification and analysis techniques.
Past incarnations of Coordination have emphasized foundations. However, given the increasing importance of concurrency in almost every software domain, the organizers of Coordination 2013 are keen to provide a strong forum for high-quality papers that address practical aspects of concurrent programming models; for example, application of concurrency to novel domains, comparisons of alternative programming models on important problems, or domain-specific languages.
Probabilistic Modular Embedding for Stochastic Coordinated Systems (paper in proceedings, 2013) — Stefano Mariani, Andrea Omicini
Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013, 04/06/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani)