Interaction Nets with McCarthy's amb

DOI10.1016/S1571-0661(05)80363-9zbMath1270.68126OpenAlexW2081746087MaRDI QIDQ2842603

Maribel Fernández, Lionel Khalil

Publication date: 15 August 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(05)80363-9

Mathematics Subject Classification ID

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

Related Items (1)

On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus

Cites Work

• The expressive power of indeterminate dataflow primitives
• The bologna optimal higher-order machine
• YALE
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interaction Nets with McCarthy's amb