Author:
Lüttgen Gerald,Vogler Walter
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abadi, M., Plotkin, G.: A logical view of composition. TCS 114(1), 3–30 (1993)
2. Bloom, B.: Ready Simulation, Bisimulation, and the Semantics of CCS-like Languages. PhD thesis, MIT (1990)
3. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560–599 (1984)
4. Lecture Notes in Computer Science;R. De Nicola,1990
5. Lecture Notes in Computer Science;H. Fecher,2007
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Defining Distances for All Process Semantics;Formal Techniques for Distributed Systems;2012
2. Graphical representation of covariant-contravariant modal formulae;Electronic Proceedings in Theoretical Computer Science;2011-08-20
3. On the Unification of Process Semantics: Logical Semantics;Electronic Proceedings in Theoretical Computer Science;2011-08-13