Mapping tile logic into rewriting logic

This publication has 25 references indexed in Scilit:

• Zero-safe nets: The individual token approach
  Published by Springer Nature ,1998
• Tiles for Concurrent and Located Calculi
  Electronic Notes in Theoretical Computer Science, 1997
• 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
• A tile-based coordination view of asynchronous π-calculus
  Published by Springer Nature ,1997
• Specification and proof in membership equational logic
  Published by Springer Nature ,1997
• Observing localities
  Theoretical Computer Science, 1993
• An algebraic semantics for structured transition systems and its application to logic programs
  Theoretical Computer Science, 1992
• Review of the elements of 2-categories
  Published by Springer Nature ,1974
• Algebra valued functors in general and tensor products in particular
  Colloquium Mathematicum, 1966