Proceedings Seventh Workshop on Structural Operational Semantics
From MaRDI portal
Publication:3174682
DOI10.4204/EPTCS.32zbMATH Open1392.68008arXiv1008.1906OpenAlexW4235082742MaRDI QIDQ3174682FDOQ3174682
Authors:
Publication date: 17 July 2018
Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Abstract: Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. Because of its intuitive appeal and flexibility, SOS has found considerable application in the study of the semantics of concurrent processes. It is also a viable alternative to denotational semantics in the static analysis of programs and in proving compiler correctness. Recently it has been applied in emerging areas such as probabilistic systems and systems biology.
Full work available at URL: https://arxiv.org/abs/1008.1906
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55)
Cited In (1)
This page was built for publication: Proceedings Seventh Workshop on Structural Operational Semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3174682)
