Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abraham, U., Ben-David, S., Magodor, M.: On global-time and inter-process communication. In: Semantics for Concurrency, Workshops in Computing, pp. 311–323. Springer, Heidelberg (1990)
2. Baldan, P., Busi, N., Corradini, A., Pinna, M.: Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs, Theoretical Computer Science (to appear)
3. Lecture Notes in Computer Science;E. Best,1997
4. Best, E., Koutny, M.: Operational and Denotational Semantics for the Box Algebras. Theoretical Computer Science 211, 1–83 (1999)
5. Degano, P., Montanari, U.: Concurrent histories; a basis for observing distributed systems. J. Comput. System Sci. 34, 422–467 (1987)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献