Please use this identifier to cite or link to this item:
Title: An Abstract Semantics of the Global View of Choreographies
Authors: Guanciale, R.
Tuosto, Emilio
First Published: 2016
Presented at: ICE 2016 9th Interaction and Concurrency Experience Satellite Workshop of DisCoTec, Heraklion, Greece
Start Date: 8-Jun-2016
End Date: 9-Jun-2016
Citation: Electronic Proceedings in Theoretical Computer Science (EPTCS) 223, 2016, pp. 67-82
Abstract: We 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.
DOI Link: 10.4204/EPTCS.223.5
ISSN: 2075-2180
eISSN: 2075-2180
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Creative Commons “Attribution Non-Commercial No Derivatives” licence CC BY-NC-ND, further details of which can be found via the following link: Archived with reference to SHERPA/RoMEO and publisher website.
Description: In Proceedings ICE 2016, arXiv:1608.03131
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1608.03323v1.pdfPost-review (final submitted author manuscript)384.49 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.