Krivine nets: a semantic foundation for distributed execution

DOI10.1145/2628136.2628152MaRDI QIDQ2819699zbMATH OpenOpenAlexFDO

Authors Olle Fredriksson, Dan R. Ghica

Publication date 29 September 2016

Published in Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2628136.2628152

zbMATH Keywords

abstract machinesAgdadistributed executionsimulation relation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The next 700 Krivine machines
• Abstract machines for game semantics, revisited
• Programming Languages and Systems
• The graphical Krivine machine
• Strongly reducing variants of the Krivine abstract machine

Cited in

(2)

• Abstract machines for game semantics, revisited
• Programming Languages and Systems

This page was built for publication: Krivine nets: a semantic foundation for distributed execution

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