Author:
Darondeau Philippe,Degano Pierpaolo
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Austry, D. and Boudol, G. Algébre de Processus et Synchronization, Theoret. Compt. 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. 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.
4. Bergstra, J.A. and Klop, J.W. Process Algebra for SynchronousCommunication, Info. and Control 61 (1984) 109–137.
5. Bergstra, J.A. and Klop, J.W. Process Theory Based on Bisimulation Semantics, in: [REX89], pp. 50–122.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Causal Trees, Finally;Programming Languages with Applications to Biology and Security;2015
2. Revisiting causality, coalgebraically;Acta Informatica;2014-10-24
3. From Transitions to Executions;Coalgebraic Methods in Computer Science;2012
4. A note on causal trees and their applications to CCS;International Journal of Computer Mathematics;1999-01
5. Denotational, causal, and operational determinism in event structures;Trees in Algebra and Programming — CAAP '96;1996