Realisability of choreographies

DOI10.1007/978-3-030-39951-1_16zbMath1462.68127OpenAlexW3004256915MaRDI QIDQ2206787

Yamine Ait-Ameur, Sarah Benyagoub, Klaus-Dieter Schewe

Publication date: 26 October 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39951-1_16

zbMATH Keywords

choreographypeer-to-peer systemrealisabilitycommunicating systemsynchronisability

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Communication complexity, information complexity (68Q11)

Related Items (2)

Event-B-Supported Choreography-Defined Communicating Systems ⋮ Unnamed Item

This page was built for publication: Realisability of choreographies