Cs-Lo
Queue-Dispatch Asynchronous Systems
Termination of Nondeterministic Quantum Programs
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
Weighted Modal Transition Systems
A Formal Model of a Virtual Filesystem Switch
Membrane Systems and Petri Net Synthesis
Lucretia - a type system for objects in languages with reflection
A Tutorial Introduction to the Logic of Parametric Probability
Faster Algorithms for Alternating Refinement Relations
Expressiveness and Completeness in Abstraction
Parameterised Multiparty Session Types
Improved Separations of Regular Resolution from Clause Learning Proof Systems
Monoidal computer I: Basic computability by string diagrams
IO vs OI in Higher-Order Recursion Schemes
Forward Analysis for WSTS, Part II: Complete WSTS
A Type-Safe Model of Adaptive Object Groups
Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol
Expressibility in the Lambda Calculus with Letrec
Ranking Functions for Linear-Constraint Loops
Applying CEGAR to the Petri Net State Equation
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
Interactive verification of Markov chains: Two distributed protocol case studies
