A domain equation for bisimulation

Termination, deadlock, and divergence

Journal of the ACM (JACM)

Elements of interaction: Turing award lecture

Communications of the ACM

Bisimulation can't be traced

Journal of the ACM (JACM)

Disjunctive program analysis for algebraic data types

ACM Transactions on Programming Languages and Systems (TOPLAS)

A fully abstract denotational semantics for the π-calculus

Theoretical Computer Science

A category of compositional domain-models for separable stone spaces

Theoretical Computer Science

Pi-Congruences as CCS Equivalences

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology

A fully abstract model for the π-calculus

Information and Computation

A semantic theory for value-passing processes based on the late approach

Information and Computation

Approximating labelled Markov processes

Information and Computation

Localic sup-lattices and tropological systems

Theoretical Computer Science - Topology in computer science

Domain equations for probabilistic processes

Mathematical Structures in Computer Science

A filter model for mobile processes

Mathematical Structures in Computer Science

On the bisimulation proof method

Mathematical Structures in Computer Science

On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

Mathematical Structures in Computer Science

A foundation for actor computation

Journal of Functional Programming

A domain equation for refinement of partial systems

Mathematical Structures in Computer Science

Stone coalgebras

Theoretical Computer Science - Selected papers of CMCS'03

Coalgebras and their logics

ACM SIGACT News

Combining effects: sum and tensor

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics

Labelled Markov Processes as Generalised Stochastic Relations

Electronic Notes in Theoretical Computer Science (ENTCS)

Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic

Electronic Notes in Theoretical Computer Science (ENTCS)

Elements of interaction

ACM Turing award lectures

An irregular filter model

Theoretical Computer Science

The equational theory of prebisimilarity over basic CCS with divergence

Information Processing Letters