Structural Operational Semantics for True Concurrency

arXiv:2601.17322v1 Announce Type: new Abstract: It is natural that we can extend Structural Operational Semantics (SOS) to SOS for true concurrency. From SOS to SOS for true concurrency, it is in nature to give the related concepts in SOS a truly concurrent semantics foundation, i.e., a transition …

View Post on Scour ↗

More from arxiv.org on Scour.