Author:
Farwer Berndt,Misra Kundan
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science 111, 3–57 (1993)
2. Biri, N., Galmiche, D.: A modal linear logic for distribution and mobility. In: Talk given at LL 2002 of FLoC 2002 (2002)
3. Brown, C.: Linear Logic and Petri Nets: Categories, Algebra and Proof. PhD thesis, AI Laboratory, Department of Computer Science, University of Edinburgh (1991)
4. Brown, C., Gurr, D., de Paiva, V.: A linear specification language for Petri nets. Technical Report 363, Computer Science Department, Aarhus University (1991)
5. Lecture Notes in Computer Science;C. Dufourd,1998
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Object Petri Nets;Lectures on Concurrency and Petri Nets;2004
2. Controller Synthesis for Object Petri Nets;Formal Methods and Software Engineering;2003