Author:
Degano Pierpaolo,De Nicola Rocco,Montanari Ugo
Subject
General Computer Science,Theoretical Computer Science
Reference43 articles.
1. Testing equivalences for event structures;Aceto,1987
2. Algèbre de Processus et Synchronization;Austry;Theoret. Comput. Sci.,1984
3. Process algebra for synchronous communication;Bergstra;Inform. and Control,1984
4. Algebra of communicating systems with abstraction;Bergstra;Theoret. Comput. Sci.,1985
5. On the semantics of concurrency: partial orders and transition systems;Boudol;Theoret. Comput. Sci.,1988
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献