Cellular Monads from Positive GSOS Specifications

August 29, 2019 · The Ethereal · 🏛 Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics

🔮 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 Tom Hirschowitz arXiv ID 1908.11169 Category cs.LO: Logic in CS Cross-listed cs.PL, math.CT Citations 2 Venue Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics Last Checked 5 months ago
Abstract
We give a leisurely introduction to our abstract framework for operational semantics based on cellular monads on transition categories. Furthermore, we relate it for the first time to an existing format, by showing that all Positive GSOS specifications generate cellular monads whose free algebras are all compositional. As a consequence, we recover the known result that bisimilarity is a congruence in the generated labelled transition system.
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