Chris M. N. Tofts

22 papers A* 2A 2B 4Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2008 B conf
Taking a RaSP to Enterprise Stakeholder Dissonance.
EDOC
Richard Taylor, Chris M. N. Tofts
2007 J jnl
Errata for
Formal Aspects Comput.
Matthew Collinson, David J. Pym, Chris M. N. Tofts
2007 — conf
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic.
Computation, Meaning, and Logic
David J. Pym, Chris M. N. Tofts
2006 J jnl
A Calculus and logic of resources and processes.
Formal Aspects Comput.
David J. Pym, Chris M. N. Tofts
2005 — conf
Process Algebra as Modelling.
APC 25
Chris M. N. Tofts
2002 J jnl
Traffic Modelling and Probabilistic Process Abstraction.
Comput. J.
Chris M. N. Tofts
2001 J jnl
Getting Demos models right. (I). Practice.
Simul. Pract. Theory
Graham M. Birtwistle, Chris M. N. Tofts
2001 J jnl
Getting Demos models right. (II) ... and theory.
Simul. Pract. Theory
Graham M. Birtwistle, Chris M. N. Tofts
2000 J jnl
Symbolic Approaches to Probability Distributions in Process Algebra.
Formal Aspects Comput.
Chris M. N. Tofts
1998 J jnl
A Denotational Semantics for a Process-Based Simulation Language.
ACM Trans. Model. Comput. Simul.
Chris M. N. Tofts, Graham M. Birtwistle
1998 J jnl
Exact, analytic, and locally approximate solutions to discrete event-simulation problems.
Simul. Pract. Theory
Chris M. N. Tofts
1997 A conf
Compositional Performance Analysis.
TACAS
Chris M. N. Tofts
1997 J jnl
Relating operational and denotational descriptions of [pi]Demos.
Simul. Pract. Theory
Graham M. Birtwistle, Chris M. N. Tofts
1995 A conf
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes.
TACAS
Chris M. N. Tofts
1994 J jnl
Processes with Probablities, Priority and Time.
Formal Aspects Comput.
Chris M. N. Tofts
1992 — conf
An overview of TCCS.
RTS
Faron Moller, Chris M. N. Tofts
1992 A* conf
Behavioural Abstraction in TCCS.
ICALP
Faron Moller, Chris M. N. Tofts
1991 B conf
Relating Processes With Respect to Speed.
CONCUR
Faron Moller, Chris M. N. Tofts
1990 B conf
A Synchronous Calculus of Relative Frequency.
CONCUR
Chris M. N. Tofts
1990 B conf
A Temporal Calculus of Communicating Systems.
CONCUR
Faron Moller, Chris M. N. Tofts
1990 — —
Proof methods and pragmatics for parallel programming.
Chris M. N. Tofts
1990 A* conf
Reactive, Generative, and Stratified Models of Probabilistic Processes
LICS
Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts