default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st COORDINATION 2019: Kongens Lyngby, Denmark
- Hanne Riis Nielson, Emilio Tuosto:
Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11533, Springer 2019, ISBN 978-3-030-22396-0
Computational Models
- G. Michele Pinna
:
Representing Dependencies in Event Structures. 3-18 - Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski:
Reversing P/T Nets. 19-36 - Wen Kokke, J. Garrett Morris, Philip Wadler:
Towards Races in Linear Logic. 37-53 - Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
The share Operator for Field-Based Coordination. 54-71
Tools (1)
- Jean-Marie Jacquet, Manel Barkallah:
Scan: A Simple Coordination Workbench. 75-91 - Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli:
CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications. 92-108
Exploring New Frontiers
- Rocco De Nicola, Tan Duong, Michele Loreti:
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 111-128 - Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. 129-147 - Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro:
No More, No Less - A Formal Model for Serverless Computing. 148-157
Coordination Patterns
- Simon Bliudze, Ludovic Henrio, Eric Madelaine:
Verification of Concurrent Design Patterns with Data. 161-181 - Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali:
Self-organising Coordination Regions: A Pattern for Edge Computing. 182-199 - Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Aggregate Processes in Field Calculus. 200-217
Tools (2)
- Agustín E. Martinez Suñé, Carlos Gustavo López Pombo:
Automatic Quality-of-Service Evaluation in Service-Oriented Computing. 221-236 - Roberto Guanciale:
DiRPOMS: Automatic Checker of Distributed Realizability of POMSets. 237-249 - Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst:
Coordination of Tasks on a Real-Time OS. 250-266
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-01-20 23:04 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:
