Coordination Models and Languages
Eva Kühn, Rosario Pugliese (Eds.)
|
Front matter |
Encoding Synchronous Interactions Using Labelled Petri Nets
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Monreale |
1-16 |
Verifiable Decisions in Autonomous Concurrent Systems
Lenz Belzner |
17-32 |
Coordination of ECA Rules by Verification and Control
Julio Cano, Gwenaël Delaval, Eric Rutten |
33-48 |
Progress as Compositional Lock-Freedom
Marco Carbone, Ornela Dardha, Fabrizio Montesi |
49-64 |
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms
Sung-Shik Jongmans, Sean Halle, Farhad Arbab |
65-82 |
LINC: A Compact Yet Powerful Coordination Environment
Maxime Louvel, François Pacull |
83-98 |
Safe and Efficient Data Sharing for Message-Passing Concurrency
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer |
99-114 |
Affine Sessions
Dimitris Mostrous, Vasco Vasconcelos |
115-130 |
Multiparty Session Actors
Rumyana Neykova, Nobuko Yoshida |
131-146 |
Typing Liveness in Multiparty Communicating Systems
Luca Padovani, Vasco Vasconcelos, Hugo Vieira |
147-162 |
A Calculus of Self-stabilising Computational Fields
Mirko Viroli, Ferruccio Damiani |
163-178 |
The Stochastic Quality Calculus
Kebin Zeng, Flemming Nielson, Hanne Nielson |
179-193 |
Hosted by HAL : 