Coinductive Techniques for Operational Equivalence of Interaction Nets

Authors:
M. Ferná; ndez;I. Mackie
Affiliations:
-;-;-
Venue:
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Year:
1998

Observational Equivalence for Synchronized Graph Rewriting with Mobility

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Operational equivalence for interaction nets

Theoretical Computer Science - Latin American theoretical informatics
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Programming Language for Interaction Nets

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00