An Abstract Semantics of the Global View of Choreographies

August 11, 2016 · The Ethereal · 🏛 International Conference on Information and Computation Economies

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Roberto Guanciale, Emilio Tuosto arXiv ID 1608.03323 Category cs.LO: Logic in CS Cross-listed cs.PL, cs.SE Citations 21 Venue International Conference on Information and Computation Economies Last Checked 2 months ago
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.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS