Author:
Acciai Lucia,Boreale Michele
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Acciai, L., Boreale, M.: Responsiveness in Process Calculi. Long version, available at http://www.cmi.univ-mrs.fr/~lucia/PAPIERS/respFull.pdf
2. Lecture Notes in Computer Science;M. Berger,2001
3. Boreale, M.: On the Expressiveness of Internal Mobility in Name-Passing Calculi. Theoretical Computer Science 195(2), 205–226 (1998)
4. Cook, W.R., Misra, J.: Computation Orchestration: A Basis for Wide-Area Computing. Journal of Software and Systems Modeling (2006), http://www.cs.utexas.edu/~wcook/projects/orc/
5. Deng, Y., Sangiorgi, D.: Ensuring Termination by Typability. In: Proc. of IFIP TCS, pp.619–632, 2004. Full version in Information and Computation, 204(7), 1045–1082 (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献