scientific article; zbMATH DE number 1512711

MaRDI QIDQ4508401zbMATH OpenFDO

Authors Maribel Fernández, Ian Mackie

Publication date 3 October 2000

zbMATH Keywords

contextual equivalence

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Operational equivalence for interaction nets.
• Completeness of bisimilarity for contextual equivalence in linear theories
• An explicit framework for interaction nets
• scientific article; zbMATH DE number 2090728
• scientific article; zbMATH DE number 1231459

Cited in

(8)

• Declarative operations on nets
• Operational equivalence for interaction nets.
• Program equivalence in linear contexts
• Completeness of bisimilarity for contextual equivalence in linear theories
• A calculus for interaction nets based on the linear chemical abstract machine
• Observational equivalence for the interaction combinators and internal separation
• A contextual equivalence checker for IMJ*
• scientific article; zbMATH DE number 2090728 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4508401)