This paper is an extended abstract of [2]
References
E. Horita and K. Mano: Nepi: a network programming language based on the π-calculus. In Proceedings of the 1st International Conference on Coordination Models, Languages and Applications 1996. Lecture Notes in Computer Science, Vol. 1061, pp. 424–427, Springer, 1996.
E. Horita and K. Mane: Nepi 2: a Two-Level Calculus for Network Programming Based on the π-Calculus. ECL Technical Report, Vol. 14296, NTT Software Laboratories, 1997.
E. Horita and K. Mano: A Decentralized Protocol for Channel-Based Communication with Choice. Technical Report of IEICE, SS97-18, July, 1997.
R. Milner: The Polyadic π-Calculus: a Tutorial. Technical Report ECS-LFCS-91180, LFCS, Department of Computer Science, Univ. of Edinburgh, 1991.
R. Milner, J. Parrow and D. Walker: A calculus of mobile processes, I and II. Information and Computation, Vol. 100, pp. 1–40 and 41-77, 1992.
B. C. Pierce and D. N. Turner: Concurrent objects in a process calculus. In Proceedings of International Workshop TPPP'94. Lecture Notes in Computer Science, Vol. 907, pp. 187–215, Springer, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Horital, E., Mano, K. (1997). Nepi2: a two-level calculus for network programming based on the π-calculus. In: Shyamasundar, R.K., Ueda, K. (eds) Advances in Computing Science — ASIAN'97. ASIAN 1997. Lecture Notes in Computer Science, vol 1345. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63875-X_70
Download citation
DOI: https://doi.org/10.1007/3-540-63875-X_70
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63875-9
Online ISBN: 978-3-540-69658-2
eBook Packages: Springer Book Archive