Author:
Nielsen Mogens,Cheng Allan
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. M.A. Bednarczyk. Categories of asynchronous systems, PhD thesis in Computer Science, University of Sussex, report no.1/88, 1988.
2. A. Cheng and M. Nielsen. Open maps (at) work. Research Series RS-95-23, BRICS, Department of Computer Science, University of Aarhus, April 1995.
3. R. J. Van Glabeek and U. Goltz. Equivalence notions for concurrent systems and refinement of actions. In Proceedings of MFCS'89. Springer-Verlag (LNCS 379), 1989.
4. L. Jategaonkar and A. Meyer Deciding True Concurrency Equivalences on Finite Safe Nets In Proceedings of ICALP'93. Springer-Verlag (LNCS 700), 409–417, 1993.
5. A. Joyal, and I. Moerdijk. A Completeness Theorem for Open Maps. To appear.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献