Search - Coordination Models and Languages Access content directly

Filter your results

22 results
Contributor/author Internal identifier : 200187
Page :
sorted by
Image document

Operational Representation of Dependencies in Context-Dependent Event Structures

 G. Michele Pinna
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.320-338, ⟨10.1007/978-3-030-50029-0_20⟩
Conference papers hal-03273985v1
Image document

Choreographic Development of Message-Passing Applications

 Alex Coto , Roberto Guanciale , Emilio Tuosto
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.20-36, ⟨10.1007/978-3-030-50029-0_2⟩
Conference papers hal-03273982v1
Image document

A True Concurrent Model of Smart Contracts Executions

 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.243-260, ⟨10.1007/978-3-030-50029-0_16⟩
Conference papers hal-03273986v1
Image document

Quality of Service Ranking by Quantifying Partial Compliance of Requirements

 Agustín Eloy Martinez Suñé , Carlos Gustavo Lopez Pombo
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.181-189, ⟨10.1007/978-3-030-50029-0_12⟩
Conference papers hal-03273990v1
Image document

Resilient Distributed Collection Through Information Speed Thresholds

 Giorgio Audrito , Sergio Bergamini , Ferruccio Damiani , Mirko Viroli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.211-229, ⟨10.1007/978-3-030-50029-0_14⟩
Conference papers hal-03273987v1
Image document

On Implementing Symbolic Controllability

 Adrian Francalanza , Jasmine Xuereb
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.350-369, ⟨10.1007/978-3-030-50029-0_22⟩
Conference papers hal-03273999v1
Image document

Implementing Multiparty Session Types in Rust

 Nicolas Lagaillardie , Rumyana Neykova , Nobuko Yoshida
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.127-136, ⟨10.1007/978-3-030-50029-0_8⟩
Conference papers hal-03273998v1
Image document

Towards Energy-, Time- and Security-Aware Multi-core Coordination

 Julius Roeder , Benjamin Rouxel , Sebastian Altmeyer , Clemens Grelck
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.57-74, ⟨10.1007/978-3-030-50029-0_4⟩
Conference papers hal-03273984v1
Image document

Towards a Formally Verified EVM in Production Environment

 Xiyue Zhang , Yi Li , Meng Sun
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.341-349, ⟨10.1007/978-3-030-50029-0_21⟩
Conference papers hal-03273991v1
Image document

GoPi: Compiling Linear and Static Channels in Go

 Marco Giunti
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.137-152, ⟨10.1007/978-3-030-50029-0_9⟩
Conference papers hal-03273983v1
Image document

CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems

 Marco Autili , Amleto Di Salle , Claudio Pompilio , Massimo Tivoli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.3-19, ⟨10.1007/978-3-030-50029-0_1⟩
Conference papers hal-03273994v1
Image document

Weighted PCL over Product Valuation Monoids

 Vagia Karyoti , Paulina Paraponiari
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.301-319, ⟨10.1007/978-3-030-50029-0_19⟩
Conference papers hal-03273981v1
Image document

SFJ: An Implementation of Semantic Featherweight Java

 Artem Usov , Ornela Dardha
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.153-168, ⟨10.1007/978-3-030-50029-0_10⟩
Conference papers hal-03274001v1
Image document

Architecture Modelling of Parametric Component-Based Systems

 Maria Pittou , George Rahonis
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.281-300, ⟨10.1007/978-3-030-50029-0_18⟩
Conference papers hal-03273997v1
Image document

Formal Modeling and Analysis of Medical Systems

 Mahsa Zarneshan , Fatemeh Ghassemi , Marjan Sirjani
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.386-402, ⟨10.1007/978-3-030-50029-0_24⟩
Conference papers hal-03273989v1
Image document

Team Automata@Work: On Safe Communication

 Maurice H. ter Beek , Rolf Hennicker , Jetty Kleijn
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩
Conference papers hal-03273992v1
Image document

Event-Based Customization of Multi-tenant SaaS Using Microservices

 Espen Tønnessen Nordli , Phu H. Nguyen , Franck Chauvel , Hui Song
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.171-180, ⟨10.1007/978-3-030-50029-0_11⟩
Conference papers hal-03273988v1
Image document

Time-Fluid Field-Based Coordination

 Danilo Pianini , Stefano Mariani , Mirko Viroli , Franco Zambonelli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.193-210, ⟨10.1007/978-3-030-50029-0_13⟩
Conference papers hal-03273993v1
Image document

Renegotiation and Recursion in Bitcoin Contracts

 Massimo Bartoletti , Maurizio Murgia , Roberto Zunino
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.261-278, ⟨10.1007/978-3-030-50029-0_17⟩
Conference papers hal-03273996v1
Image document

ARx: Reactive Programming for Synchronous Connectors

 José Proença , Guillermina Cledou
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.39-56, ⟨10.1007/978-3-030-50029-0_3⟩
Conference papers hal-03274003v1
Image document

A Choreography-Driven Approach to APIs: The OpenDXL Case Study

 Leonardo Frittelli , Facundo Maldonado , Hernán Melgratti , Emilio Tuosto
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.107-124, ⟨10.1007/978-3-030-50029-0_7⟩
Conference papers hal-03274000v1
Image document

Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited

 Nicolas Gast , Diego Latella , Mieke Massink
COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Languages and Models, Jun 2020, Valletta, Malta. pp.230-239, ⟨10.1007/978-3-030-50029-0_15⟩
Conference papers hal-03273995v1
Page :