Full Text Documents

Search

Table of Contents

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
 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/