Author:
Bonelli Eduardo,Compagnoni Adriana
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. ENTCS;E. Bonelli,2004
2. Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence assertions for process synchronization in concurrent communications. Journal of Functional Programming, Special issue on Language-Based Security, 15(2) (March 2005)
3. Boudol, G.: Mobile calculi based on domains: Core programming model v1. Technical Report Deliverable 1.2.1, MIKADO Global Computing Project IST-2001-32222 (2003)
4. Lecture Notes in Computer Science;M. Coppo,2007
5. Lecture Notes in Computer Science;M. Dezani-Ciancaglini,2006
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献