The SCEAS System
| |||||||

## Search the dblp DataBase
Chris M. N. Tofts:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Faron Moller, Chris M. N. Tofts
**A Temporal Calculus of Communicating Systems.**[Citation Graph (0, 0)][DBLP] CONCUR, 1990, pp:401-415 [Conf] - Faron Moller, Chris M. N. Tofts
**Relating Processes With Respect to Speed.**[Citation Graph (0, 0)][DBLP] CONCUR, 1991, pp:424-438 [Conf] - Chris M. N. Tofts
**A Synchronous Calculus of Relative Frequency.**[Citation Graph (0, 0)][DBLP] CONCUR, 1990, pp:467-480 [Conf] - Faron Moller, Chris M. N. Tofts
**Behavioural Abstraction in TCCS.**[Citation Graph (0, 0)][DBLP] ICALP, 1992, pp:559-570 [Conf] - Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts
**Reactive, Generative, and Stratified Models of Probabilistic Processes**[Citation Graph (0, 0)][DBLP] LICS, 1990, pp:130-141 [Conf] - Chris M. N. Tofts
**Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes.**[Citation Graph (0, 0)][DBLP] TACAS, 1995, pp:174-194 [Conf] - Chris M. N. Tofts
**Compositional Performance Analysis.**[Citation Graph (0, 0)][DBLP] TACAS, 1997, pp:290-305 [Conf] - Chris M. N. Tofts
**Traffic Modelling and Probabilistic Process Abstraction.**[Citation Graph (0, 0)][DBLP] Comput. J., 2002, v:45, n:1, pp:62-67 [Journal] - Chris M. N. Tofts
**Process Algebra as Modelling.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:323-326 [Journal] - David J. Pym, Chris M. N. Tofts
**Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:545-587 [Journal] - Chris M. N. Tofts
**Symbolic Approaches to Probability Distributions in Process Algebra.**[Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2000, v:12, n:5, pp:392-415 [Journal] - Chris M. N. Tofts
**Processes with Probablities, Priority and Time.**[Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1994, v:6, n:5, pp:536-564 [Journal] - David J. Pym, Chris M. N. Tofts
**A Calculus and logic of resources and processes.**[Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2006, v:18, n:4, pp:495-517 [Journal] - Graham M. Birtwistle, Chris M. N. Tofts
**Getting Demos models right. (I). Practice.**[Citation Graph (0, 0)][DBLP] Simul. Pr. Theory, 2001, v:8, n:6-7, pp:377-393 [Journal] - Graham M. Birtwistle, Chris M. N. Tofts
**Getting Demos models right. (II) ... and theory.**[Citation Graph (0, 0)][DBLP] Simul. Pr. Theory, 2001, v:8, n:6-7, pp:395-414 [Journal] - Graham M. Birtwistle, Chris M. N. Tofts
**Relating operational and denotational descriptions of [pi]Demos.**[Citation Graph (0, 0)][DBLP] Simul. Pr. Theory, 1997, v:5, n:1, pp:1-33 [Journal] - Chris M. N. Tofts
**Exact, analytic, and locally approximate solutions to discrete event-simulation problems.**[Citation Graph (0, 0)][DBLP] Simul. Pr. Theory, 1998, v:6, n:8, pp:721-759 [Journal] - Chris M. N. Tofts, Graham M. Birtwistle
**A Denotational Semantics for a Process-Based Simulation Language.**[Citation Graph (0, 0)][DBLP] ACM Trans. Model. Comput. Simul., 1998, v:8, n:3, pp:281-305 [Journal]
Search in 0.006secs, Finished in 0.007secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |