Author:
Jategaonkar Lalita,Meyer Albert
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Observing behaviour categorically;Lecture Notes in Computer Science;1995
2. Petri nets, traces, and local model checking;Algebraic Methodology and Software Technology;1995
3. On the Decidability of Non-Interleaving Process Equivalences;CONCUR '94: Concurrency Theory;1994
4. Complexity results for 1-safe nets;Lecture Notes in Computer Science;1993