Subject
General Computer Science,Theoretical Computer Science
Reference34 articles.
1. Observation equivalence as a testing equivalence;Abramsky;Theoret. Comput. Sci.,1987
2. Turning SOS rules into equations;Aceto,1992
3. Turning SOS rules into equations;Aceto,1992
4. Process Algebra;Beaten,1990
5. Fixed point semantics in process algebras;Bergstra,1982
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bialgebraic Reasoning on Higher-order Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Weak Similarity in Higher-Order Mathematical Operational Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. A Declarative Validator for GSOS Languages;Electronic Proceedings in Theoretical Computer Science;2023-04-13
4. Towards a Higher-Order Mathematical Operational Semantics;Proceedings of the ACM on Programming Languages;2023-01-09
5. Bisimulations of Probabilistic Boolean Networks;SIAM Journal on Control and Optimization;2022-09-06