An Abstract Semantics of the Global View of Choreographies
journal contribution
posted on 2016-11-15, 14:45 authored by R. Guanciale, Emilio TuostoWe introduce an abstract semantics of the global view of choreographies. Our semantics is given in terms of pre-orders and can accommodate different lower level semantics. We discuss the adequacy of our model by considering its relation with communicating machines, that we use to formalise the local view. Interestingly, our framework seems to be more expressive than others where semantics of global views have been considered. This will be illustrated by discussing some interesting examples.
Funding
This work has been partially supported by COST Action IC1201 (Behavioural Types for Reliable Large-Scale Software Systems, BETTY).
History
Citation
Electronic Proceedings in Theoretical Computer Science (EPTCS) 223, 2016, pp. 67-82Author affiliation
/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer ScienceSource
ICE 2016 9th Interaction and Concurrency Experience Satellite Workshop of DisCoTec, Heraklion, GreeceVersion
- VoR (Version of Record)
Published in
Electronic Proceedings in Theoretical Computer Science (EPTCS) 223issn
2075-2180eissn
2075-2180Available date
2016-11-15Publisher DOI
Publisher version
https://arxiv.org/abs/1608.03323Notes
In Proceedings ICE 2016, arXiv:1608.03131Temporal coverage: start date
2016-06-08Temporal coverage: end date
2016-06-09Language
enAdministrator link
Usage metrics
Categories
No categories selectedLicence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC