BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tofts:Chris_M=_N=

Contributed to:

TACAS 19971997
TACAS 19951995
ICALP 19921992
LICS 19901990

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.