Static Analysis of Interaction Nets for Distributed Implementations
No abstract available.
Related papers
- Krivine nets: a semantic foundation for distributed execution ICFP 2014
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021
- YALE: Yet Another Lambda Evaluator Based on Interaction Nets ICFP 1998
- Quantitative static analysis of distributed systems JFP 2005
- A session type provider: compile-time API generation of distributed protocols with refinements in F# CC 2018
- The complexity of interaction POPL 2016
- Safer unsafe code for .NET OOPSLA 2008
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022