Petruchio: From Dynamic Networks to Nets
Abstract elided by the publisher.
Related papers
- AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL CAV 2020
- Sparsity in Deep Neural Nets (Keynote) PPoPP 2024
- Krivine nets: a semantic foundation for distributed execution ICFP 2014
- DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses CC 2025
- Bringing dynamic languages to .NET with the DLR DLS 2007
- A fine-grained computational interpretation of Girard's intuitionistic proof-nets POPL 2022
- Design and Implementation of Generics for the .NET Common Language Runtime PLDI 2001
- Token Elimination in Model Checking of Petri Nets TACAS 2025