Author:
Gilbert David,Palamidessi Catuscia
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Luca Aceto, Bard Bloom, and Frits Vaandrager. Turning SOS rules into equations. Information and Computation, 111(1):1–52, 1994.
2. Karen L. Bernstein. A congruence theorem for structured operational semantics of higher-order languages. In Thirteenth Annual IEEE Symposium on Logic in Computer Science, pages 153–164, 1998.
3. Lect Notes Comput Sci;K. Bharat,1997
4. Bard Bloom, Sorin Istrail, and Albert R. Meyer. Bisimulation can’t be traced. Journal of the ACM, 42(1):232–268, 1995.
5. Chiara Bodei, Pierpaolo Degano, and Corrado Priami. Names of the π-calculus agents handled locally. Theoretical Computer Science.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献