Travelled to:1 × Austria
1 × Denmark
1 × The Netherlands
1 × USA
Collaborated with:∅ F.Moller R.J.v.Glabbeek S.A.Smolka B.Steffen
Talks about:probabilist (2) process (2) behaviour (1) stratifi (1) properti (1) composit (1) approxim (1) abstract (1) reactiv (1) perform (1)
Person: Chris M. N. Tofts
DBLP: Tofts:Chris_M=_N=
Contributed to:
19971995
1992
1990Wrote 4 papers:
- TACAS-1997-Tofts #analysis #composition #performance
- Compositional Performance Analysis (CMNT), pp. 290–305.
- TACAS-1995-Tofts #approximate #probability #process
- Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes (CMNT), pp. 174–194.
- ICALP-1992-MollerT #abstraction #behaviour
- Behavioural Abstraction in TCCS (FM, CMNT), pp. 559–570.
- LICS-1990-GlabbeekSST #generative #modelling #probability #process
- Reactive, Generative, and Stratified Models of Probabilistic Processes (RJvG, SAS, BS, CMNT), pp. 130–141.