dblp.uni-trier.dewww.uni-trier.de

Chris M. N. Tofts

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
19EEDavid 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)
18EEMatthew 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
17EEChris M. N. Tofts: Process Algebra as Modelling. Electr. Notes Theor. Comput. Sci. 162: 323-326 (2006)
16EEDavid J. Pym, Chris M. N. Tofts: A Calculus and logic of resources and processes. Formal Asp. Comput. 18(4): 495-517 (2006)
2002
15EEChris M. N. Tofts: Traffic Modelling and Probabilistic Process Abstraction. Comput. J. 45(1): 62-67 (2002)
2001
14EEGraham M. Birtwistle, Chris M. N. Tofts: Getting Demos models right. (I). Practice. Simul. Pr. Theory 8(6-7): 377-393 (2001)
13EEGraham M. Birtwistle, Chris M. N. Tofts: Getting Demos models right. (II) ... and theory. Simul. Pr. Theory 8(6-7): 395-414 (2001)
2000
12EEChris M. N. Tofts: Symbolic Approaches to Probability Distributions in Process Algebra. Formal Asp. Comput. 12(5): 392-415 (2000)
1998
11EEChris 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)
10EEChris 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
8EEGraham 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

Coauthor Index

1Graham M. Birtwistle [8] [11] [13] [14]
2Matthew Collinson [18]
3Rob J. van Glabbeek [1]
4Faron Moller [3] [4] [5]
5David J. Pym [16] [18] [19]
6Scott A. Smolka [1]
7Bernhard Steffen [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)