Chris M. N. Tofts - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2007

Errata for ::::Formal Aspects of Computing:::: (2006) 18: 495-517 and their consequencesMatthew Collinson, David J. Pym, Chris M. N. Tofts. fac, 19(4):551-554, 2007. [doi]

Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and LogicDavid J. Pym, Chris M. N. Tofts. ENTCS, 172:545-587, 2007. [doi]

2006

A Calculus and logic of resources and processesDavid J. Pym, Chris M. N. Tofts. fac, 18(4):495-517, 2006. [doi]

Process Algebra as ModellingChris M. N. Tofts. ENTCS, 162:323-326, 2006. [doi]

2002

Traffic Modelling and Probabilistic Process AbstractionChris M. N. Tofts. cj, 45(1):62-67, 2002. [doi]

2001

Getting Demos models right. (I). PracticeGraham M. Birtwistle, Chris M. N. Tofts. simpra, 8(6-7):377-393, 2001. [doi]

Getting Demos models right. (II) ... and theoryGraham M. Birtwistle, Chris M. N. Tofts. simpra, 8(6-7):395-414, 2001. [doi]

2000

Symbolic Approaches to Probability Distributions in Process AlgebraChris M. N. Tofts. fac, 12(5):392-415, 2000. [doi]

1998

A Denotational Semantics for a Process-Based Simulation LanguageChris M. N. Tofts, Graham M. Birtwistle. tomacs, 8(3):281-305, 1998. [doi]

Exact, analytic, and locally approximate solutions to discrete event-simulation problemsChris M. N. Tofts. simpra, 6(8):721-759, 1998. [doi]

1997

Relating operational and denotational descriptions of [pi]DemosGraham M. Birtwistle, Chris M. N. Tofts. simpra, 5(1):1-33, 1997. [doi]

Compositional Performance AnalysisChris M. N. Tofts. TACAS 1997: 290-305

1995

Analytic and Locally Approximate Solutions to Properties of Probabilistic ProcessesChris M. N. Tofts. TACAS 1995: 174-194

1994

Processes with Probablities, Priority and TimeChris M. N. Tofts. fac, 6(5):536-564, 1994.

1992

An overview of TCCSFaron Moller, Chris M. N. Tofts. ecrts 1992: 98-103 [doi]

Behavioural Abstraction in TCCSFaron Moller, Chris M. N. Tofts. icalp 1992: 559-570

1991

Relating Processes With Respect to SpeedFaron Moller, Chris M. N. Tofts. concur 1991: 424-438

1990

A Temporal Calculus of Communicating SystemsFaron Moller, Chris M. N. Tofts. concur 1990: 401-415

A Synchronous Calculus of Relative FrequencyChris M. N. Tofts. concur 1990: 467-480

Proof methods and pragmatics for parallel programmingChris M. N. Tofts. PhD thesis, University of Edinburgh, UK, 1990. [doi]

Reactive, Generative, and Stratified Models of Probabilistic ProcessesRob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts. lics 1990: 130-141

Sign in or sign up to see more results.

runs on WebDSL