Complexity Results for POMSET Languages
Abstract elided by the publisher.
Related papers
- Pomsets with preconditions: a simple model of relaxed memory OOPSLA 2020
- Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks ESOP 2022
- API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 ECOOP 2022
- An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories POPL 2026
- Some Complexity Results for SystemVerilog Assertions CAV 2006
- Complexity Results on Branching-Time Pushdown Model Checking VMCAI 2006
- Typestate Verification: Abstraction Techniques and Complexity Results SAS 2003
- Computability and Complexity Results for a Spatial Assertion Language for Data Structures APLAS 2001