2016/08/11 by Roberto Guanciale, Emilio Tuosto
Computer Science · #cs.LO #cs.PL #cs.SE
paper · pdf · doi:10.4204/eptcs.223.5
published as EPTCS 223, 2016, pp. 67-82 · In Proceedings ICE 2016, arXiv:1608.03131
arxiv created 2016/08/11 · arxiv updated 2016/08/12
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.