Author:
Meseguer José,Montanari Ugo
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference38 articles.
1. The basic algebraic structures in categories of derivations;Benson;Inform. and Comput.,1975
2. Sequential and concurrent behaviour in Petri net theory;Best;Theoret. Comput. Sci.,1987
3. Concurrency and atomicity;Boudol;Theoret. Comput. Sci.,1988
4. A distributed operational semantics for CCS based on condition/event systems;Degano;Acta Inform.,1988
5. Axiomatizing net computations and processes;Degano,1989
Cited by
232 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献