Author:
Autant C.,Belmesk Z.,Schnoebelen Ph.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. C. Autant, Z. Belmesk, and Ph. Schnoebelen. Strong Bisimilarity on Nets Revisited. Research Report, LIFIA-IMAG, Grenoble, 1991.
2. E. Best, R. Devillers, A. Kiehn, and L. Pomello. Concurrent bisimulations in Petri nets. September 1990. To appear in Acta Informatica.
3. J. A. Bergstra and J. W. Klop. Process theory based on bisimulation semantics. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, LNCS 354, pages 50–122, Springer-Verlag, 1989.
4. P. Degano, R. De Nicola, and U. Montanari. A distributed operational semantics for CCS based on condition/event systems. Acta Informatica, 26:59–91, 1988.
5. R. Devillers. Maximality Preserving Bisimulation. Tech. Report LIT-214, Lab. Informatique Théorique, Université Libre de Bruxelles, March 1990.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献