Modelling darwin in the π-calculus

This publication has 12 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Regis: a constructive development environment for distributed programs
  Distributed Systems Engineering, 1994
• What do you get from a π-calculus semantics?
  Published by Springer Nature ,1994
• pi -calculus semantics for the concurrent configuration language Darwin
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
• Elements of interaction
  Communications of the ACM, 1993
• Structuring parallel and distributed programs
  Software Engineering Journal, 1993
• Durra: a structure description language for developing distributed applications
  Software Engineering Journal, 1993
• Configuring object-based distributed programs in REX
  Software Engineering Journal, 1992
• Constructing distributed systems in Conic
  IEEE Transactions on Software Engineering, 1989
• Key Concepts of the INCAS Multicomputer Project
  IEEE Transactions on Software Engineering, 1987