Skip to main content

Functional Nets

Full text DOI 10.1007/3-540-46425-5_1 dblp BibTeX

Abstract

Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in Join calculus. This paper presents functional nets, reviews Join calculus, and shows how the two relate.

Related papers

YALE: Yet Another Lambda Evaluator Based on Interaction Nets ICFP 1998
A fine-grained computational interpretation of Girard's intuitionistic proof-nets POPL 2022
Formalization of Karp-Miller tree construction on petri nets CPP 2017
The complexity of interaction POPL 2016
Krivine nets: a semantic foundation for distributed execution ICFP 2014
Implicative Formulae in the "Proofs as Computations" Analogy POPL 1990
On the Composition of Processes POPL 1982
Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial JFP 2014