Author:
Meseguer José,Talcott Carolyn
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. H. G. Baker and C. Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987–992. IFIP, Aug. 1977.
2. E. Best and R. Devillers. Sequential and concurrent behavior in Petri net theory. Theoretical Computer Science, 55:87–136, 1989.
3. G. Carabetta, P. Degano, and F. Gadducci. CCS semantics via proved transition systems and rewriting logic. Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications, ENTCS, North Holland, 1998.
4. W. D. Clinger. Foundations of actor semantics. AI-TR633, MIT Artificial Intelligence Laboratory, May 1981.
5. Lect Notes Comput Sci;A. Corradini,1995
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献