Author:
Boreale Michele,Sangiorgi Davide
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. To appear in Formal Aspects of Computing.
2. M. Boreale and D. Sangiorgi. Pull version of this paper. Technical Report, ECS-LFCS-94-297, University of Edinburgh, 1994.
3. P. Degano and P. Darondeau. Causal trees. In 15th ICALP, LNCS 372, pages 234–248. Springer Verlag, 1989.
4. P. Degano, R. De Nicola and U. Montanari. Partial Ordering Descriptions and Observations of Concurrent Processes. LNCS 354, Springer-Verlag, 1988.
5. R.J. van Glabbeek and U. Goltz. Equivalence notions for concurrent systems and refinement of actions. In Proc. MFCS'89, LNCS 379. Springer Verlag, 1989.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献