Chris Tofts

Available identifiers

Publication	Date of Publication	Type
Behavioural abstraction in TCCS	2019-12-04	Paper
Systems modelling via resources and processes: philosophy, calculus, semantics, and logic	2013-12-06	Paper
Errata for ``A calculus and logic of resources and processes and their consequences	2007-11-28	Paper
A calculus and logic of resources and processes	2006-12-20	Paper
Getting Demos models right. (I). Practice	2003-01-09	Paper
Getting Demos models right. (II) … and theory	2003-01-09	Paper
Traffic Modelling and Probabilistic Process Abstraction	2002-04-29	Paper
Performance modelling using probabilistic process algebra	2002-01-30	Paper
Symbolic approaches to probability distributions in process algebra	2001-09-27	Paper
A denotational semantics for a process-based simulation language	2000-10-29	Paper
Population dynamics under parasitic sex ratio distortion	2000-04-10	Paper
Exact, analytic, and locally approximate solutions to discrete event-simulation problems	1999-05-31	Paper
Relating operational and denotational descriptions of πDemos	1997-08-07	Paper
Processes with probabilities, priority and time	1995-09-11	Paper
Algorithms for task allocation in ants. (A study of temporal polyethism: Theory)	1994-04-13	Paper

This page was built for person: Chris Tofts