Graham Birtwistle, Chris Tofts  Home/Search
Context
Related
| scs.leeds.ac.uk/graham/research...s1.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: scs.leeds.ac.uk/gr...simulapapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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