University of Leicester
Browse
1608.03323v1.pdf (384.49 kB)

An Abstract Semantics of the Global View of Choreographies

Download (384.49 kB)
journal contribution
posted on 2016-11-15, 14:45 authored by R. Guanciale, Emilio Tuosto
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.

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-82

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

ICE 2016 9th Interaction and Concurrency Experience Satellite Workshop of DisCoTec, Heraklion, Greece

Version

  • VoR (Version of Record)

Published in

Electronic Proceedings in Theoretical Computer Science (EPTCS) 223

issn

2075-2180

eissn

2075-2180

Available date

2016-11-15

Publisher version

https://arxiv.org/abs/1608.03323

Notes

In Proceedings ICE 2016, arXiv:1608.03131

Temporal coverage: start date

2016-06-08

Temporal coverage: end date

2016-06-09

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC