Chris M. N. Tofts

Publication Activity (10 Years)

Years Active: 1990-2008
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Richard Taylor, Chris M. N. Tofts
Taking a RaSP to Enterprise Stakeholder Dissonance. EDOC (2008)
David J. Pym, Chris M. N. Tofts
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. Electron. Notes Theor. Comput. Sci. 172 (2007)
Matthew Collinson, David J. Pym, Chris M. N. Tofts
(2006) 18: 495-517 and their consequences. Formal Aspects Comput. 19 (4) (2007)
Chris M. N. Tofts
Process Algebra as Modelling. Electron. Notes Theor. Comput. Sci. 162 (2006)
David J. Pym, Chris M. N. Tofts
A Calculus and logic of resources and processes. Formal Aspects Comput. 18 (4) (2006)
Chris M. N. Tofts
Traffic Modelling and Probabilistic Process Abstraction. Comput. J. 45 (1) (2002)
Graham M. Birtwistle, Chris M. N. Tofts
Getting Demos models right. (I). Practice. Simul. Pract. Theory 8 (6-7) (2001)
Graham M. Birtwistle, Chris M. N. Tofts
Getting Demos models right. (II) ... and theory. Simul. Pract. Theory 8 (6-7) (2001)
Chris M. N. Tofts
Symbolic Approaches to Probability Distributions in Process Algebra. Formal Aspects Comput. 12 (5) (2000)
Chris M. N. Tofts, Graham M. Birtwistle
A Denotational Semantics for a Process-Based Simulation Language. ACM Trans. Model. Comput. Simul. 8 (3) (1998)
Chris M. N. Tofts
Exact, analytic, and locally approximate solutions to discrete event-simulation problems. Simul. Pract. Theory 6 (8) (1998)
Graham M. Birtwistle, Chris M. N. Tofts
Relating operational and denotational descriptions of [pi]Demos. Simul. Pract. Theory 5 (1) (1997)
Chris M. N. Tofts
Compositional Performance Analysis. TACAS (1997)
Chris M. N. Tofts
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. TACAS (1995)
Chris M. N. Tofts
Processes with Probablities, Priority and Time. Formal Aspects Comput. 6 (5) (1994)
Faron Moller, Chris M. N. Tofts
Behavioural Abstraction in TCCS. ICALP (1992)
Faron Moller, Chris M. N. Tofts
An overview of TCCS. RTS (1992)
Faron Moller, Chris M. N. Tofts
Relating Processes With Respect to Speed. CONCUR (1991)
Chris M. N. Tofts
A Synchronous Calculus of Relative Frequency. CONCUR (1990)
Faron Moller, Chris M. N. Tofts
A Temporal Calculus of Communicating Systems. CONCUR (1990)
Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts
Reactive, Generative, and Stratified Models of Probabilistic Processes LICS (1990)

Chris M. N. Tofts.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Chris M. N. Tofts