Nepi2: a two-level calculus for network programming based on the π-calculus

  • Eiichi Horital
  • Ken Mano
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1345)


  1. 1.
    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.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    E. Horita and K. Mano: A Decentralized Protocol for Channel-Based Communication with Choice. Technical Report of IEICE, SS97-18, July, 1997.Google Scholar
  4. 4.
    R. Milner: The Polyadic π-Calculus: a Tutorial. Technical Report ECS-LFCS-91180, LFCS, Department of Computer Science, Univ. of Edinburgh, 1991.Google Scholar
  5. 5.
    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.CrossRefGoogle Scholar
  6. 6.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Eiichi Horital
    • 1
  • Ken Mano
    • 2
  1. 1.NTT Software LaboratoriesUSA
  2. 2.NTT Communication Science LaboratoriesUSA

Personalised recommendations