Pi-Nets: A Graphical Form of pi-Calculus
No abstract available.
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
- AlPiNA: An Algebraic Petri Net Analyzer TACAS 2010
- Functional Nets ESOP 2000
- An Equational and Graphical Fixed-Point Calculus (Functional Pearl) ICFP 2026
- Krivine nets: a semantic foundation for distributed execution ICFP 2014
- Higher Order Bayesian Networks, Exactly POPL 2024
- Proofs as Terms, Terms as Graphs APLAS 2023