Regular Model Checking Upside-Down: An Invariant-Based Approach

Subjects: “…Computer Science & Information Science…”
Get full text

Checkpoint-based rollback recovery in session programming

Subjects: “…Computer Science & Information Science…”
Get full text

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder

Subjects: “…Computer Science & Information Science…”
Get full text

Integration in Cones

Subjects: “…Computer Science & Information Science…”
Get full text

Multi-Structural Games and Beyond

Subjects: “…Computer Science & Information Science…”
Get full text

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

Subjects: “…Computer Science & Information Science…”
Get full text

Unifying cubical and multimodal type theory

Subjects: “…Computer Science & Information Science…”
Get full text

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

Subjects: “…Computer Science & Information Science…”
Get full text

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity

Subjects: “…Computer Science & Information Science…”
Get full text

Kleene Theorem for Higher-Dimensional Automata

Subjects: “…Computer Science & Information Science…”
Get full text

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints

Subjects: “…Computer Science & Information Science…”
Get full text

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces

Subjects: “…Computer Science & Information Science…”
Get full text

Fine-grained Meta-Theorems for Vertex Integrity

Subjects: “…Computer Science & Information Science…”
Get full text

A Truly Concurrent Semantics for Reversible CCS

Subjects: “…Computer Science & Information Science…”
Get full text

A Calculus for Scoped Effects & Handlers

Subjects: “…Computer Science & Information Science…”
Get full text

Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners

Subjects: “…Computer Science & Information Science…”
Get full text

Reasonable Space for the ${lambda}$-Calculus, Logarithmically

Subjects: “…Computer Science & Information Science…”
Get full text

On the Semantic Expressiveness of Iso- and Equi-Recursive Types

Subjects: “…Computer Science & Information Science…”
Get full text

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

Subjects: “…Computer Science & Information Science…”
Get full text

On the relative asymptotic expressivity of inference frameworks

Subjects: “…Computer Science & Information Science…”
Get full text