In: G. Barthe, P. Dybjer, L. Pinto, J. Saraiva (Eds.): Applied Semantics, Advanced Lectures, pages 1-333pp. Springer Verlag, LNCS 2395, September 2002.
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 gives an overview of functional nets as a kernel programming language, it presents an object-based version of Join calculus, and it shows how the two relate.