Structured operational semantics and bisimulation as a congruence-Reference-Cited by-同舟云学术

Structured operational semantics and bisimulation as a congruence

Author:

Groote Jan Friso,Vaandrager Frits

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference35 articles.

2. Operational semantics of a parallel object-oriented language;America,1986

4. Syntax and defining equations for an interrupt mechanism in process algebra;Baeten;Fund. Inform.,1986

5. Merge and termination in process algebra;Baeten,1987

Cited by 211 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Back to the format: A survey on SOS for probabilistic processes;Journal of Logical and Algebraic Methods in Programming;2024-02

2. A Lean-Congruence Format for EP-Bisimilarity;Electronic Proceedings in Theoretical Computer Science;2023-09-14

4. A Declarative Validator for GSOS Languages;Electronic Proceedings in Theoretical Computer Science;2023-04-13

5. Compositional equivalences based on open pNets;Journal of Logical and Algebraic Methods in Programming;2023-02