Computing Stuttering Simulations

Computing the output distribution and selection probabilities of a stack filter from the DNF of its positive Boolean function

Computing the Reveals Relation in Occurrence Nets

Computing with Classical Real Numbers

Concurrent Composition and Algebras of Events, Actions, and Processes

Concurrent Scheduling of Event-B Models

Configuration Structures, Event Structures and Petri Nets

Confluence Reduction for Probabilistic Systems (extended version)

Confluence Results for a Quantum Lambda Calculus with Measurements

Confluence via strong normalisation in an algebraic λ-calculus with rewriting

Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

Connection and Dispersion of Computation

Consistency and Completeness of Rewriting in the Calculus of Constructions

Constraint Propagation for First-Order Logic and Inductive Definitions

Constraint-based automatic verification of abstract models of multithreaded programs

Constraint-Based Deadlock Checking of High-Level Specifications

Constructing Recursion Operators in Intuitionistic Type Theory

Containment, Equivalence and Coreness from CSP to QCSP and beyond

Context Semantics, Linear Logic and Computational Complexity

Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads