Cs-Lo
Superdevelopments for Weak Reduction
A computer verified, monadic, functional implementation of the integral
On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases
Abstract machines for dialogue games
A two-level logic approach to reasoning about computations
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three
Specification of Products and Product Lines
A direct proof of the confluence of combinatory strong reduction
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
Symbolic Representation of Algorithmic Game Semantics
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)
A Process Calculus with Logical Operators
Dynamic Verification for File Safety of Multithreaded Programs
Shared Contract-Obedient Endpoints
Higher-order port-graph rewriting
Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus
Realizability algebras III: some examples
Reachability and Termination Analysis of Concurrent Quantum Programs
On a coalgebraic view on Logic
The size of a formula as a measure of complexity
Implicit complexity for coinductive data: a characterization of corecurrence
