Operational equivalence for interaction nets.

DOI10.1016/S0304-3975(02)00637-0zbMath1045.68097MaRDI QIDQ1401297

Ian Mackie, Maribel Fernández

Publication date: 17 August 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Bisimulation equivalenceOperational semanticsInteraction nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Observational Equivalence for the Interaction Combinators and Internal Separation

Cites Work

• Linear logic
• Interaction combinators
• Proving congruence of bisimulation in functional programming languages
• Applying dispersion correction to numerical approximations of the two‐dimensional wave equation ‐ eigenproblems
• YALE
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Operational equivalence for interaction nets.