Programming Languages and Systems

Volume 1782 of the series Lecture Notes in Computer Science pp 1-25


Functional Nets

  • Martin OderskyAffiliated withÉcole Polytechnique Fédérale de Lausanne


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.