| 2007 |
|---|
| 19 | EE | David J. Pym,
Chris M. N. Tofts:
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic.
Electr. Notes Theor. Comput. Sci. 172: 545-587 (2007) |
| 18 | EE | Matthew Collinson,
David J. Pym,
Chris M. N. Tofts:
Errata for Formal Aspects of Computing (2006) 18: 495-517 and their consequences.
Formal Asp. Comput. 19(4): 551-554 (2007) |
| 2006 |
|---|
| 17 | EE | Chris M. N. Tofts:
Process Algebra as Modelling.
Electr. Notes Theor. Comput. Sci. 162: 323-326 (2006) |
| 16 | EE | David J. Pym,
Chris M. N. Tofts:
A Calculus and logic of resources and processes.
Formal Asp. Comput. 18(4): 495-517 (2006) |
| 2002 |
|---|
| 15 | EE | Chris M. N. Tofts:
Traffic Modelling and Probabilistic Process Abstraction.
Comput. J. 45(1): 62-67 (2002) |
| 2001 |
|---|
| 14 | EE | Graham M. Birtwistle,
Chris M. N. Tofts:
Getting Demos models right. (I). Practice.
Simul. Pr. Theory 8(6-7): 377-393 (2001) |
| 13 | EE | Graham M. Birtwistle,
Chris M. N. Tofts:
Getting Demos models right. (II) ... and theory.
Simul. Pr. Theory 8(6-7): 395-414 (2001) |
| 2000 |
|---|
| 12 | EE | Chris M. N. Tofts:
Symbolic Approaches to Probability Distributions in Process Algebra.
Formal Asp. Comput. 12(5): 392-415 (2000) |
| 1998 |
|---|
| 11 | EE | Chris M. N. Tofts,
Graham M. Birtwistle:
A Denotational Semantics for a Process-Based Simulation Language.
ACM Trans. Model. Comput. Simul. 8(3): 281-305 (1998) |
| 10 | EE | Chris M. N. Tofts:
Exact, analytic, and locally approximate solutions to discrete event-simulation problems.
Simul. Pr. Theory 6(8): 721-759 (1998) |
| 1997 |
|---|
| 9 | | Chris M. N. Tofts:
Compositional Performance Analysis.
TACAS 1997: 290-305 |
| 8 | EE | Graham M. Birtwistle,
Chris M. N. Tofts:
Relating operational and denotational descriptions of [pi]Demos.
Simul. Pr. Theory 5(1): 1-33 (1997) |
| 1995 |
|---|
| 7 | | Chris M. N. Tofts:
Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes.
TACAS 1995: 174-194 |
| 1994 |
|---|
| 6 | | Chris M. N. Tofts:
Processes with Probablities, Priority and Time.
Formal Asp. Comput. 6(5): 536-564 (1994) |
| 1992 |
|---|
| 5 | | Faron Moller,
Chris M. N. Tofts:
Behavioural Abstraction in TCCS.
ICALP 1992: 559-570 |
| 1991 |
|---|
| 4 | | Faron Moller,
Chris M. N. Tofts:
Relating Processes With Respect to Speed.
CONCUR 1991: 424-438 |
| 1990 |
|---|
| 3 | | Faron Moller,
Chris M. N. Tofts:
A Temporal Calculus of Communicating Systems.
CONCUR 1990: 401-415 |
| 2 | | Chris M. N. Tofts:
A Synchronous Calculus of Relative Frequency.
CONCUR 1990: 467-480 |
| 1 | | Rob J. van Glabbeek,
Scott A. Smolka,
Bernhard Steffen,
Chris M. N. Tofts:
Reactive, Generative, and Stratified Models of Probabilistic Processes
LICS 1990: 130-141 |
