Distributed processes and location failures

This publication has 15 references indexed in Scilit:

• An asynchronous model of locality, failure, and process mobility
  Published by Springer Nature ,1997
• Distributed processes and location failures
  Published by Springer Nature ,1997
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
  International Journal of Foundations of Computer Science, 1995
• Symbolic bisimulations
  Theoretical Computer Science, 1995
• From a concurrent λ-calculus to the π-calculus
  Published by Springer Nature ,1995
• Bisimilarity as a Theory of Functional Programming
  Electronic Notes in Theoretical Computer Science, 1995
• A theory of processes with localities
  Formal Aspects of Computing, 1994
• A calculus of mobile processes, II
  Information and Computation, 1992
• Facile: A symmetric integration of concurrent and functional programming
  International Journal of Parallel Programming, 1989
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986