Bigraphical Reactive Systems

This publication has 10 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Nomadic Pict: language and infrastructure design for mobile agents
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The fusion calculus: expressiveness and symmetry in mobile processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• From Process Calculi to Process Frameworks
  Published by Springer Nature ,2000
• Deriving Bisimulation Congruences for Reactive Systems
  Published by Springer Nature ,2000
• Explicit Fusions
  Published by Springer Nature ,2000
• Models of Sharing Graphs
  Published by Springer Nature ,1999
• Calculi for interaction
  Acta Informatica, 1996
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Interaction nets
  Published by Association for Computing Machinery (ACM) ,1990