Chris Tofts

Available identifiers

zbMath Open tofts.chrisMaRDI QIDQ688414

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2767986	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chris Tofts