See this document in CiteSeerX!

Getting Demos Models Right Part I: Practice  (Make Corrections)  
Graham Birtwistle, Chris Tofts



  Home/Search   Context   Related

 
View or download:
scs.leeds.ac.uk/graham/research...s1.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  scs.leeds.ac.uk/gr...simulapapers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We present a method for translating the synchronisation behaviour of a process oriented discrete event simulation language into a process algebra. Such translations serve two purposes. The first exploits the formal structure of the target process algebraic representations to enable proofs of such properties of the source system as deadlock freedom, safety, fairness and liveness which can be very difficult to establish by simulation experiment. The second exploits the denotational semantics to... (Update)

Similar documents (at the sentence level):
7.7%:   Denotational Semantics for Process-Based Simulation.. - Birtwistle, Tofts   (Correct)

Active bibliography (related documents):   More   All
2.2:   Getting Demos Models Right Part II: ... and Theory - Birtwistle, Tofts   (Correct)
0.8:   Operational Semantics of Process-oriented Simulation.. - Birtwistle, Tofts (1993)   (Correct)
0.7:   Characterising The Structure Of Simulation Models In CCS - Birtwistle, Pooley, Tofts (1993)   (Correct)

Similar documents based on text:   More   All
0.3:   The Edinburgh Concurrency Workbench user manual (Version 7.1) - Original By Faron   (Correct)
0.2:   Denotational Semantics for Process-Based Simulation.. - Birtwistle, Tofts (1997)   (Correct)
0.2:   A Denotational Semantics for a Process-Based Simulation Language - Tofts, Birtwistle (1997)   (Correct)

BibTeX entry:   (Update)

@misc{ birtwistle-getting,
  author = "Graham Birtwistle and Chris Tofts",
  title = "Getting Demos Models Right Part I: Practice",
  url = "citeseer.ist.psu.edu/374976.html" }
Citations (may not include all citations):
1933   Communication and Concurrency (context) - Milner - 1989
1180   The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
232   The Concurrency Workbench: A Semantics-Based Tool for the Ve.. - Cleaveland, Parrow et al. - 1993
216   Theoretical Computer Science (context) - Milner, Synchrony - 1983
202   Modal and Temporal Logics (context) - Stirling - 1992
199   An Introduction to Input/Output Automata (context) - Lynch, Tuttle - 1989
191   Temporal Verification of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
190   Results on the Propositional -calculus (context) - Kozen - 1983
186   A Temporal Calculus of Communicating Systems (context) - Moller, Tofts - 1990
159   A Guide to Simulation (context) - Bratley, Fox et al. - 1987
78   Modal Logics for Communicating Systems (context) - Stirling - 1987
60   Modal and Temporal Logics for Processes - Stirling - 1996
46   Simula begin (context) - Birtwistle, Dahl et al. - 1973
34   Principles of Discrete Event Simulation (context) - Fishman - 1978
26   Simulation Techniques for Proving Properties of Real-Time Sy.. - Lynch - 1995
25   The Edinburgh Concurrency Workbench (context) - Moller - 1991
25   A Synchronous Calculus of Relative Frequency (context) - Tofts - 1990
24   Simulation Modelling and Analysis (context) - Law, Kelton - 1982
23   Formal Methods in System Design (context) - Clarke, Grumberg et al. - 1995
21   System simulation --- programming styles and languages (context) - Kreutzer - 1986
20   An Introduction to Modal and Temporal Logics for CCS (context) - Stirling - 1991
17   Turing Award lecture (context) - Milner, Interaction - 1993
14   Wiley and Sons (context) - Ziegler, Modelling - 1976
13   A History of Discrete Event Simulation Programming Languages (context) - Nance - 1996
12   DEMOS --- a system for discrete event modelling on Simula (context) - Birtwistle - 1979
10   Operational Semantics of Process-Oriented Simulation Languag.. - Birtwistle, Tofts - 1994
10   Process style packages for discrete event modelling: Experie.. (context) - Birtwistle, Luker et al. - 1985
10   Operational Semantics of Process-Oriented Simulation Languag.. - Birtwistle, Tofts - 1993
9   Simulation of Manufacturing Systems (context) - Carrie - 1988
9   Testing and Verifying Concurrent Objects (context) - Wing, Gong - 1993
9   Introduction to a Calculus of Communicating Systems (context) - Walker - 1987
9   and Local Model Checking in the Linear Time Mu-Calculus (context) - Stirling, Walker et al. - 1990
8   Control and Simulation Language (context) - Buxton, Laski - 1962
8   Structures of Discrete Event Simulation (context) - Evans - 1988
7   A denotational semantics for a process-based simulation lang.. - Tofts, Birtwistle - 1998
6   Extended Control and Simulation Language (context) - Clementson - 1985
5   Characterising the Structure of Simulation Models in CCS - Birtwistle, Pooley et al. - 1993
4   The SIMSCRIPT II Programming Language (context) - Kiviat, Villanueva et al. - 1968
4   Using Simulation to Solve Problems (context) - Poole, Szymankiewicz - 1977
4   Simulation Program Generators (context) - Mathewson - 1974
4   Simulation with GASP II (context) - Pritzker, Kiviat - 1969
3   Formal Aspects of Computer Science (context) - Tofts, Probability et al. - 1993
3   The English Universities Press (context) - Tocher, of - 1963
2   Relating Operational and Denotational Descriptions of Demos - Birtwistle, Tofts - 1997
1   Halstead Book Press (context) - Pritzker, Simulation
1   Simulation using GPSS/H (context) - Schriber - 1991
1   CACI International Inc (context) - SimscriptII
1   Multifacetted Modelling and Discrete Event Simulation (context) - Ziegler - 1976

Documents on the same site (http://www.scs.leeds.ac.uk/graham/research/simulation/simulapapers.html):   More
Characterising The Structure Of Simulation Models In CCS - Birtwistle, Pooley, Tofts (1993)   (Correct)
Operational Semantics of Process-oriented Simulation.. - Birtwistle, Tofts (1993)   (Correct)
Denotational Semantics for Process-Based Simulation.. - Birtwistle, Tofts   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC