COORDINATION C

16 papers

YearTitle / Authors
2019ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.
Rocco De Nicola, Tan Duong, Michele Loreti
2019Aggregate Processes in Field Calculus.
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
2019Automatic Quality-of-Service Evaluation in Service-Oriented Computing.
Agustín E. Martinez Suñé, Carlos Gustavo López Pombo
2019Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies.
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
2019CHOReVOLUTION: Automating the Realization of Highly-Collaborative Distributed Applications.
Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
2019Coordination 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
Hanne Riis Nielson, Emilio Tuosto
2019Coordination of Tasks on a Real-Time OS.
Guillermina Cledou, José Proença, Bernhard H. C. Sputh, Eric Verhulst
2019DiRPOMS: Automatic Checker of Distributed Realizability of POMSets.
Roberto Guanciale
2019No More, No Less - A Formal Model for Serverless Computing.
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
2019Representing Dependencies in Event Structures.
G. Michele Pinna
2019Reversing P/T Nets.
Hernán C. Melgratti, Claudio Antares Mezzina, Irek Ulidowski
2019Scan: A Simple Coordination Workbench.
Jean-Marie Jacquet, Manel Barkallah
2019Self-organising Coordination Regions: A Pattern for Edge Computing.
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
2019The share Operator for Field-Based Coordination.
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2019Towards Races in Linear Logic.
Wen Kokke, J. Garrett Morris, Philip Wadler
2019Verification of Concurrent Design Patterns with Data.
Simon Bliudze, Ludovic Henrio, Eric Madelaine