On affine usages in signal-based communication
On Barbs and Labels in Reactive Systems
On Berry's conjectures about the stable order in PCF
On Bisimulations for Description Logics
On characterising strong bisimilarity in a fragment of CCS with replication
On coalgebra based on classes
On combinations of local theory extensions
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
On commutativity of quantum weakest preconditions
On Completeness of Logical Relations for Monadic Types
On completeness of reducibility candidates as a semantics of strong normalization
On Constructive Connectives and Systems
On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
On counting untyped lambda terms
On CSP and the Algebraic Theory of Effects
On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions
On Decidability Properties of Local Sentences
On Decidability Properties of One-Dimensional Cellular Automata
On Decidable Growth-Rate Properties of Imperative Programs
On Distributed Model Checking of MSO on Graphs