Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. L. Aceto and M. Hennessy. Adding action refinement to a finite process algebra. Technical Report 6/90, Dept. Comp. Sci. Univ. of Sussex, Brigthon, 1990.
2. G. Boudol and I. Castellani. On the semantics of concurrency: Partial orders and transition systems. In H. Ehrig et al., editors, TAPSOFT 87, Vol. I, Lect. Notes Comp. Sci. 249, 123–137, 1987.
3. E. Best and R. Devillers. Sequential and concurrent behaviour in Petri net theory. Theoret. Comput. Sci., 55:87–136, 1987.
4. E. Best, R. Devillers, A. Kiehn, and L. Pomello. Fully concurrent bisimulation. Technical Report LIT-202, Univ. Bruxelles, 1989. To appear in Acta Informatica.
5. P. Darondeau and P. Degano. Event structures, causal trees, and refinements. In B. Rovan, editor, MFCS 90, Lect. Notes Comp. Sci. 452, 239–245, 1990.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献