The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chris M. N. Tofts: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Faron Moller, Chris M. N. Tofts
    A Temporal Calculus of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:401-415 [Conf]
  2. Faron Moller, Chris M. N. Tofts
    Relating Processes With Respect to Speed. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:424-438 [Conf]
  3. Chris M. N. Tofts
    A Synchronous Calculus of Relative Frequency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:467-480 [Conf]
  4. Faron Moller, Chris M. N. Tofts
    Behavioural Abstraction in TCCS. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:559-570 [Conf]
  5. 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]
  6. 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]
  7. Chris M. N. Tofts
    Compositional Performance Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:290-305 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002