default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th COORDINATION 2023: Lisbon, Portugal
- Sung-Shik Jongmans
, Antónia Lopes:
Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Lecture Notes in Computer Science 13908, Springer 2023, ISBN 978-3-031-35360-4
Keynote
- Frank Pfenning, Klaas Pruiksma:
Relating Message Passing and Shared Memory, Proof-Theoretically. 3-27
Collective Adaptive Systems and Aggregate Computing
- Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. 31-51 - Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli:
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. 52-70 - Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. 71-89
Cyber-Physical Systems
- Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins:
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. 93-114 - Valentina Castiglioni, Michele Loreti, Simone Tini:
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. 115-132
Verification and Testing
- Loïc Desgeorges, Loïc Germerie Guizouarn:
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. 135-143 - Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti:
Reasoning About Choreographic Programs. 144-162 - José Proença, Luc Edixhoven:
Caos: A Reusable Scala Web Animator of Operational Semantics. 163-171 - Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana:
JoT: A Jolie Framework for Testing Microservices. 172-191
Languages and Processes
- Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida:
Rollback Recovery in Session-Based Programming. 195-213 - Jonah Pears, Laura Bocchi, Andy King:
Safe Asynchronous Mixed-Choice for Timed Interactions. 214-231 - Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega:
A Formal MDE Framework for Inter-DSL Collaboration. 232-249
Run-Time Changes
- Cosimo Laneve, Alessandro Parenti, Giovanni Sartor:
Legal Contracts Amending with [inline-graphic not available: see fulltext]. 253-270 - Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko:
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. 271-291
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-03-08 00:51 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:
