Tiles for Concurrent and Located Calculi

This publication has 23 references indexed in Scilit:

• Zero-Safe Nets, or Transition Synchronization Made Simple
  Electronic Notes in Theoretical Computer Science, 1997
• A 2-categorical presentation of term graph rewriting
  Published by Springer Nature ,1997
• Axiomatizing the algebra of net computations and processes
  Acta Informatica, 1996
• EQUATIONAL TERM GRAPH REWRITING
  Fundamenta Informaticae, 1996
• Flow Models of Distributed Computations: Three Equivalent Semantics for CCS
  Information and Computation, 1994
• Distribution and locality of concurrent systems
  Published by Springer Nature ,1994
• An algebraic semantics for structured transition systems and its application to logic programs
  Theoretical Computer Science, 1992
• Causal trees
  Published by Springer Nature ,1989
• Partial orderings descriptions and observations of nondeterministic concurrent processes
  Published by Springer Nature ,1989
• Term graph rewriting
  Published by Springer Nature ,1987