Functional nets

MaRDI QIDQ2729049zbMATH OpenFDO

Authors Martin Odersky

Publication date 6 November 2001

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2090727
• JC-nets
• High-level Petri nets as type theories in the join calculus
• scientific article; zbMATH DE number 3967922
• Interpreted nets

Cited in

(7)

• Inheritance in the join calculus.
• Resource control for synchronous cooperative threads
• Scripting . NET using mondrian
• scientific article; zbMATH DE number 5343672 (Why is no real title available?)
• Properties of a Notation for Combining Functions
• JC-nets
• scientific article; zbMATH DE number 2090727 (Why is no real title available?)

This page was built for publication: Functional nets

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