Interaction automata and the ia2d interpreter

DOI10.4230/LIPICS.FSCD.2016.35MaRDI QIDQ5369501zbMATH OpenOpenAlexFDO

Authors Stéphane Gimenez, David Obwaller

Publication date 17 October 2017

Full work available at URL https://dblp.uni-trier.de/db/conf/rta/fscd2016.html#GimenezO16

zbMATH Keywords

functional programmingparallel computationcomputation modelsinteraction nets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2090088
• Publication:4508308
• Interacting Automata for Modelling Distributed Systems
• Interaction combinators
• A theory of interactive computation

This page was built for publication: Interaction automata and the ia2d interpreter

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