Causality, Knowledge and Coordination in Distributed Systems

Certified Exact Transcendental Real Number Computation in Coq

Chain Programs for Writing Deterministic Metainterpreters

Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus

Characterising equilibrium logic and nested logic programs: Reductions and complexity

Characterising Probabilistic Processes Logically

Characterising Testing Preorders for Finite Probabilistic Processes

Characteristic Formulae for Fixed-Point Semantics: A General Framework

Characteristic Formulae for Relations with Nested Fixed Points

Characteristics of Minimal Effective Programming Systems

Characterization and definability in modal first-order fragments

Characterization of Strongly Equivalent Logic Programs in Intermediate Logics

Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic

Checking Properties within Fairness and Behavior Abstractions

Church => Scott = Ptime: an application of resource sensitive realizability

Church's thesis is questioned by new calculation paradigm

Cirquent calculus deepened

Classes of Terminating Logic Programs

Classical and Intuitionistic Subexponential Logics are Equally Expressive

Classical BI: Its Semantics and Proof Theory