Author:
Degano Pierpaolo,Priami Corrado
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Austry, D. and Boudol, G. Algébre de Processus et Synchronization, T.C.S. 30, 1 (1984), 91–131.
2. Boudol, G., Castellani, I., A non-interleaving semantics for CCS based on proved transitions, Fundaments Informaticae, XI (4) (1988), 433–452.
3. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A., Observing Localities, MFCS'91, LNCS 520, Springer-Verlag, 93-102.
4. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A., A Theory of Processes with Localities, INRIA Tech. Rep., 1992
5. Brookes, S.D., Hoare, C.A.R., Roscoe, A.D. A Theory of Communicating Sequential Processes, Journal of A.C.M., 31, 3 (1984), 560–599.
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Replications in Reversible Concurrent Calculi;Reversible Computation;2023
2. Concurrencies in Reversible Concurrent Calculi;Reversible Computation;2022
3. Pierpaolo Degano;Programming Languages with Applications to Biology and Security;2015
4. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10
5. A Fully Abstract View for Local Cause Semantics;Advances in Grid and Pervasive Computing;2012