Author:
Giambiagi Pablo,Schneider Gerardo,Valencia Frank D.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Boreale, M., De Nicola, R., Pugliese, R.: Trace and testing equivalence on asynchronous processes. Information and Computation 172(2), 139–164 (2002)
2. Busi, N., Gabbrielli, M., Zavattaro, G.: The expressive power of replication in CCS. Draft (2003)
3. Lecture Notes in Computer Science;N. Busi,2003
4. Cleaveland, R., Parrow, J., Steffen, B.: The ConcurrencyWorkbench:Asemantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems 15(1), 36–72 (1993)
5. Engberg, U., Nielsen, M.: A calculus of communicating systems with label-passing. Technical report, University of Aarhus (1986)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献