Chris Tofts

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

Research outcomes over time

This page was built for person: Chris Tofts