Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Austry, D. and Boudol, G. Algèbre de Processus et Synchronisation, Theoret. Comput. Sci. 30,1 (1984) 91–131.
2. Boudol, G. and Castellani, I. Concurrency and Atomicity, Theoret. Comput. Sci. 59,1–2 (1988) 25–84.
3. Boudol,G. and Castellani,I. Permutation of Transitions: an Event Structure Semantics for CCS and SCCS, to appear in [REX88]
4. Brookes, S.D., Hoare C.A.R. and Roscoe A.D. A Theory of Communicating Sequential Processes, Journal of A.C.M., 31,3 (1984) 560–599
5. Bergstra, J.A. and Klop, J.W. Process Algebra for Synchronous Communication, Info. and Control 61 (1984) 109–137
Cited by
66 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Team bisimilarity, and its associated modal logic, for BPP nets;Acta Informatica;2020-03-13
2. Order algebras: a quantitative model of interaction;Mathematical Structures in Computer Science;2017-02-13
3. A reduced maximality labeled transition system generation for recursive Petri nets;Formal Aspects of Computing;2015-11
4. Causal Trees, Finally;Programming Languages with Applications to Biology and Security;2015
5. Pierpaolo Degano;Programming Languages with Applications to Biology and Security;2015