Localities and failures (extended summary)

This publication has 14 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• A static view of localities
  Formal Aspects of Computing, 1994
• A theory of processes with localities
  Formal Aspects of Computing, 1994
• Distribution and locality of concurrent systems
  Published by Springer Nature ,1994
• Observing distribution in processes
  Published by Springer Nature ,1993
• Barbed bisimulation
  Published by Springer Nature ,1992
• Proved trees
  Published by Springer Nature ,1992
• Observing localities
  Lecture Notes in Computer Science, 1991
• Distributed Computing: Models and Methods
  Published by Elsevier ,1990
• Facile: A symmetric integration of concurrent and functional programming
  International Journal of Parallel Programming, 1989