Normed Simulations
No abstract available.
Related papers
- A Family of Sims with Diverging Interests POPL 2026
- eFLINT: a domain-specific language for executable norm specifications GPCE 2020
- Typed Norms ESOP 1992
- Combining Norms to Prove Termination VMCAI 2002
- Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable APLAS 2009
- Termination analysis of logic programs through combination of type-based norms TOPLAS 2007
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE 2025
- Fast and precise certification of transformers PLDI 2021