Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. T. Agerwala, A complete model for representing the coordination of asynchronous processes, Hopkins Computer Research Report 32, John Hopkins University, 1974.
2. N. Busi, Petri nets with inhibitor and read arcs: semantics, analysis and application to process calculi, Ph.D. Thesis, Department of Mathematics, University of Siena, Italy, 1998.
3. N. Busi, R. Gorrieri, A Petri net semantics for π-calculus, Proc. Concur’95, Lecture Notes in Computer Science, Vol. 962, Springer, Berlin, 1995, pp. 145–159.
4. On the expressiveness of Linda coordination primitives;Busi;Inform. Comput.,2000
5. Process semantics for place/transition nets with inhibitor and read arcs;Busi;Fund. Inform.,1999
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献