Chris M. N. Tofts
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1990–2008
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | EDOC | Taking a RaSP to Enterprise Stakeholder Dissonance. | Richard Taylor, Chris M. N. Tofts |
| 1997 | TACAS | Compositional Performance Analysis. | Chris M. N. Tofts |
| 1995 | TACAS | Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes. | Chris M. N. Tofts |
| 1992 | ECRTS | An overview of TCCS. | Faron Moller, Chris M. N. Tofts |
| 1992 | ICALP | Behavioural Abstraction in TCCS. | Faron Moller, Chris M. N. Tofts |
| 1991 | CONCUR | Relating Processes With Respect to Speed. | Faron Moller, Chris M. N. Tofts |
| 1990 | CONCUR | A Temporal Calculus of Communicating Systems. | Faron Moller, Chris M. N. Tofts |
| 1990 | CONCUR | A Synchronous Calculus of Relative Frequency. | Chris M. N. Tofts |
| 1990 | LICS | Reactive, Generative, and Stratified Models of Probabilistic Processes | Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts |