Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. E. Astesiano. Inductive and operational semantics. In E. J. Neuhold and M. Paul, editors, Formal Description of Programming Concepts, IFIP State-of-the-Art Report, pages 51–136. Springer-Verlag, 1991.
2. K. L. Bernstein. A congruence theorem for structured operational semantics of higher-order languages. In Proc. LICS’98, pages 153–163. IEEE, 1998.
3. D. Berry, R. Milner, and D. N. Turner. A semantics for ML concurrency primitives. In Proc. 17th Annual ACM Symposium on Principles of Programming Languages, pages 119–129. ACM, 1992.
4. Lect Notes Comput Sci;R. Cartwright,1994
5. P. Degano and C. Priami. Enhanced operational semantics. A CM Computing Surveys, 28(2):352–354, June 1996.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Composition of Languages, Models, and Analyses;Composing Model-Based Analysis Tools;2021
2. Weaving concurrency in executable domain-specific modeling languages;Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering;2015-10-26
3. From Rewriting Logic, to Programming Language Semantics, to Program Verification;Lecture Notes in Computer Science;2015
4. Weak Bisimulation as a Congruence in MSOS;Lecture Notes in Computer Science;2015
5. GSOS for non-deterministic processes with quantitative aspects;Electronic Proceedings in Theoretical Computer Science;2014-06-06