Verification of Timed Systems Using POSETs
No abstract available.
Related papers
- Complexity of Subtype Satisfiability over Posets ESOP 2005
- An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories POPL 2026
- Unscanning by Möbius Inversion (Functional Pearl) ICFP 2026
- Producing all ideals of a forest, functionally JFP 2003
- SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring OOPSLA 2024
- Efficient Implementation of Lattice Operations TOPLAS 1989
- Modeling Concurrency with Geometry POPL 1991
- Gabriel-Ulmer duality and Lawvere theories enriched over a general base JFP 2009