Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. E. Best, C. Fernandéz, “Nonsequential Processes: A Petri Net View”, Monographs on Theoretical Computer Science Vol. 13, Springer Verlag, 1988.
2. J.W. de Bakker, J.H.A. Warmerdam, “Metric Pomset Semantics for a Concurrent Language with Recursion”, Lecture Notes in Computer Science Vol. 469, Springer Verlag, 1990.
3. P. Degano, J. Meseguer, U. Montanari, “Axiomatizing the algebra of net computations and processes”, Acta Informatica 33, pp. 641–667, 1996.
4. J. Esparza, “More infinite results”, Proceedings of INFINITY, First International Workshop on Verification of Infinite State Systems, pp.4–20, 1996.
5. S.A. Greibach, “Remarks on Blind and Partially Blind One-Way Multicounter Machines”, Theoretical Computer Science Vol. 7, pp. 311–324, 1978.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. History-Dependent Petri Nets;Petri Nets and Other Models of Concurrency – ICATPN 2007;2007
2. Series and Parallel Operations on Pomsets;Lecture Notes in Computer Science;1999