Chris M. N. Tofts

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007

Errata for <i>Formal Aspects of Computing</i> (2006) 18: 495-517 and their consequences.

[BibT_eX]

[DOI]

Matthew Collinson

David J. Pym

Formal Aspects Comput., 2007

Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic.

[BibT_eX]

[DOI]

David J. Pym

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

2006

A Calculus and logic of resources and processes.

[BibT_eX]

[DOI]

David J. Pym

Formal Aspects Comput., 2006

2005

Process Algebra as Modelling.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

2002

Traffic Modelling and Probabilistic Process Abstraction.

[BibT_eX]

[DOI]

Comput. J., 2002

2001

Getting Demos models right. (II) ... and theory.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 2001

Getting Demos models right. (I). Practice.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 2001

2000

Symbolic Approaches to Probability Distributions in Process Algebra.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2000

1998

A Denotational Semantics for a Process-Based Simulation Language.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 1998

Exact, analytic, and locally approximate solutions to discrete event-simulation problems.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 1998

1997

Relating operational and denotational descriptions of [pi]Demos.

[BibT_eX]

[DOI]

Simul. Pract. Theory, 1997

Compositional Performance Analysis.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

1995

Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

1994

Processes with Probablities, Priority and Time.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1994

1992

Behavioural Abstraction in TCCS.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

An overview of TCCS.

[BibT_eX]

[DOI]

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991

Relating Processes With Respect to Speed.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '91, 1991

1990

Proof methods and pragmatics for parallel programming.

[BibT_eX]

[DOI]

PhD thesis, 1990

Reactive, Generative, and Stratified Models of Probabilistic Processes

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

A Synchronous Calculus of Relative Frequency.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '90, 1990

A Temporal Calculus of Communicating Systems.

[BibT_eX]

[DOI]