Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd COORDINATION 2020: Valletta, Malta
- Simon Bliudze
, Laura Bocchi:
Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings. Lecture Notes in Computer Science 12134, Springer 2020, ISBN 978-3-030-50028-3
Tutorials
- Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli:
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems. 3-19 - Alex Coto, Roberto Guanciale, Emilio Tuosto:
Choreographic Development of Message-Passing Applications - A Tutorial. 20-36
Coordination Languages
- José Proença, Guillermina Cledou:
ARx: Reactive Programming for Synchronous Connectors. 39-56 - Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck:
Towards Energy-, Time- and Security-Aware Multi-core Coordination. 57-74
Message-Based Communication
- Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn:
Team Automata@Work: On Safe Communication. 77-85 - Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Choreography Automata. 86-106 - Leonardo Frittelli, Facundo Maldonado, Hernán C. Melgratti, Emilio Tuosto:
A Choreography-Driven Approach to APIs: The OpenDXL Case Study. 107-124
Communications: Types and Implementations
- Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Implementing Multiparty Session Types in Rust. 127-136 - Marco Giunti:
GoPi: Compiling Linear and Static Channels in Go. 137-152 - Artem Usov, Ornela Dardha:
SFJ: An Implementation of Semantic Featherweight Java. 153-168
Service-Oriented Computing
- Espen Tønnessen Nordli, Phu Hong Nguyen, Franck Chauvel, Hui Song:
Event-Based Customization of Multi-tenant SaaS Using Microservices. 171-180 - Agustín Eloy Martinez Suñé, Carlos Gustavo López Pombo:
Quality of Service Ranking by Quantifying Partial Compliance of Requirements. 181-189
Large-Scale Decentralised Systems
- Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli:
Time-Fluid Field-Based Coordination. 193-210 - Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Resilient Distributed Collection Through Information Speed Thresholds. 211-229 - Nicolas Gast, Diego Latella, Mieke Massink:
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited. 230-239
Smart Contracts
- Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A True Concurrent Model of Smart Contracts Executions. 243-260 - Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
Renegotiation and Recursion in Bitcoin Contracts. 261-278
Modelling
- Maria Pittou, George Rahonis:
Architecture Modelling of Parametric Component-Based Systems. 281-300 - Vagia Karyoti, Paulina Paraponiari:
Weighted PCL over Product Valuation Monoids. 301-319 - G. Michele Pinna:
Operational Representation of Dependencies in Context-Dependent Event Structures. 320-338
Verification and Analysis
- Xiyue Zhang, Yi Li, Meng Sun:
Towards a Formally Verified EVM in Production Environment. 341-349 - Adrian Francalanza, Jasmine Xuereb:
On Implementing Symbolic Controllability. 350-369 - Luca Di Stefano, Frédéric Lang, Wendelin Serwe:
Combining SLiVER with CADP to Analyze Multi-agent Systems. 370-385 - Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani:
Formal Modeling and Analysis of Medical Systems. 386-402
a service of 
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 2024-06-10 21:40 CEST 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:
