A Temporal Calculus of Communicating Systems. - Faron Moller; Chris M. N. Tofts (CONCUR, 1990)

A Synchronous Calculus of Relative Frequency. - Chris M. N. Tofts (CONCUR, 1990)

Reactive, Generative, and Stratified Models of Probabilistic Processes - Rob J. van Glabbeek; Scott A. Smolka; Bernhard Steffen; Chris M. N. Tofts (LICS, 1990)

Proof methods and pragmatics for parallel programming. - Chris M. N. Tofts (1990)

Relating Processes With Respect to Speed. - Faron Moller; Chris M. N. Tofts (CONCUR, 1991)

An overview of TCCS. - Faron Moller; Chris M. N. Tofts (RTS, 1992)

Behavioural Abstraction in TCCS. - Faron Moller; Chris M. N. Tofts (ICALP, 1992)

Processes with Probablities, Priority and Time. - Chris M. N. Tofts (Formal Aspects Comput., 1994)

Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. - Chris M. N. Tofts (TACAS, 1995)

Compositional Performance Analysis. - Chris M. N. Tofts (TACAS, 1997)

Relating operational and denotational descriptions of [pi]Demos. - Graham M. Birtwistle; Chris M. N. Tofts (Simul. Pract. Theory, 1997)

Exact, analytic, and locally approximate solutions to discrete event-simulation problems. - Chris M. N. Tofts (Simul. Pract. Theory, 1998)

A Denotational Semantics for a Process-Based Simulation Language. - Chris M. N. Tofts; Graham M. Birtwistle (ACM Trans. Model. Comput. Simul., 1998)

Symbolic Approaches to Probability Distributions in Process Algebra. - Chris M. N. Tofts (Formal Aspects Comput., 2000)

Getting Demos models right. (I). Practice. - Graham M. Birtwistle; Chris M. N. Tofts (Simul. Pract. Theory, 2001)

Getting Demos models right. (II) ... and theory. - Graham M. Birtwistle; Chris M. N. Tofts (Simul. Pract. Theory, 2001)

Traffic Modelling and Probabilistic Process Abstraction. - Chris M. N. Tofts (Comput. J., 2002)

Process Algebra as Modelling. - Chris M. N. Tofts (APC 25, 2005)

A Calculus and logic of resources and processes. - David J. Pym; Chris M. N. Tofts (Formal Aspects Comput., 2006)

Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. - David J. Pym; Chris M. N. Tofts (Computation, Meaning, and Logic, 2007)

Errata for Formal Aspects of Computing (2006) 18: 495-517 and their consequences. - Matthew Collinson; David J. Pym; Chris M. N. Tofts (Formal Aspects Comput., 2007)

Taking a RaSP to Enterprise Stakeholder Dissonance. - Richard Taylor; Chris M. N. Tofts (EDOC, 2008)