default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16. COORDINATION 2014: Berlin, Germany
- Eva Kühn, Rosario Pugliese:
Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Lecture Notes in Computer Science 8459, Springer 2014, ISBN 978-3-662-43375-1 - Paolo Baldan, Filippo Bonchi
, Fabio Gadducci, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. 1-16 - Lenz Belzner:
Verifiable Decisions in Autonomous Concurrent Systems. 17-32 - Julio Cano, Gwenaël Delaval, Éric Rutten:
Coordination of ECA Rules by Verification and Control. 33-48 - Marco Carbone, Ornela Dardha, Fabrizio Montesi:
Progress as Compositional Lock-Freedom. 49-64 - Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab:
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. 65-82 - Maxime Louvel, François Pacull:
LINC: A Compact Yet Powerful Coordination Environment. 83-98 - Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Safe and Efficient Data Sharing for Message-Passing Concurrency. 99-114 - Dimitris Mostrous, Vasco Thudichum Vasconcelos:
Affine Sessions. 115-130 - Rumyana Neykova, Nobuko Yoshida:
Multiparty Session Actors. 131-146 - Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira:
Typing Liveness in Multiparty Communicating Systems. 147-162 - Mirko Viroli, Ferruccio Damiani:
A Calculus of Self-stabilising Computational Fields. 163-178 - Kebin Zeng, Flemming Nielson, Hanne Riis Nielson:
The Stochastic Quality Calculus. 179-193
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-05 20:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
