G. Birtwistle, C. Tofts  Home/Search
Context Related
| scs.leeds.ac.uk/graham/researc...op1.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 give an operational semantics for the synchronisation mechanisms of Demos, a small process-oriented discrete event simulation language based upon Simula and Demos. The operational semantics gives a clear, concise and precise meaning to Demos programs and have been extended to full Demos. The paper includes applications of the semantics as an implementation blueprint and in verifying the consistency of event list operations. Transactions of The Society for Computer Simulation, 10(4),... (Update)
Context of citations to this paper: More
...the essence of the technique. The operational semantics of the synchronisations of full Demos language is given in a companion paper [5]. Alternative approaches based upon process logics are being explored in [17] The paper is organised as follows: In section 2 we give the...
.... circumstances (whatever the particular waiting time distributions and whatever the queueing disciplines) In two previous papers [5, 6], we have given an operational semantics for the synchronisations of Demos [1] a typical process based simulation language. 1 These...
Cited by: More
Getting Demos Models Right Part II: ... and Theory - Birtwistle, Tofts (Correct)
Getting Demos Models Right Part I: Practice - Birtwistle, Tofts (Correct)
Operational Semantics of Process-Oriented Simulation.. - Birtwistle, Tofts (1993) (Correct)
Similar documents (at the sentence level):
25.0%: Relating Operational and Denotational Descriptions of πDemos - Birtwistle, Tofts (1996) (Correct)
5.5%: Operational Semantics of Process-oriented Simulation.. - Birtwistle, Tofts (1993) (Correct)
Active bibliography (related documents): More All
0.7: Characterising The Structure Of Simulation Models In CCS - Birtwistle, Pooley, Tofts (1993) (Correct)
0.5: Objects Then And Now - Birtwistle (1993) (Correct)
0.1: Evaluating an Animated Pedagogical Agent - Mitrovic, Suraweera (2000) (Correct)
Similar documents based on text: More All
0.5: A Denotational Semantics for a Process-Based Simulation Language - Tofts, Birtwistle (1997) (Correct)
0.5: Denotational Semantics for Process-Based Simulation.. - Birtwistle, Tofts (1997) (Correct)
0.5: Denotational Semantics for Process-Based Simulation.. - Birtwistle, Tofts (Correct)
Related documents from co-citation: More All
9: Communication and Concurrency (context) - Milner - 1989
8: Process style packages for discrete event modelling: Experience from the transac.. (context) - Birtwistle, Luker et al. - 1985
8: Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
BibTeX entry: (Update)
G. Birtwistle and C. Tofts. Operational Semantics of Process-Oriented Simulation Languages. Part 1: ßDemos. Computer Science Technical Report, University of Calgary, 1993. http://citeseer.ist.psu.edu/birtwistle93operational.html More
@misc{ birtwistle93operational,
author = "G. Birtwistle and C. Tofts",
title = "Operational Semantics of Process-Oriented Simulation Languages",
text = "G. Birtwistle and C. Tofts. Operational Semantics of Process-Oriented Simulation
Languages. Part 1: ßDemos. Computer Science Technical Report, University
of Calgary, 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/birtwistle93operational.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
906 A Structural Approach to Operational Semantics - Plotkin - 1981
592 Introduction to HOL: a theorem proving environment for highe.. (context) - Gordon, Melham - 1993
362 ML for the Working Programmer (context) - Paulson - 1991
359 The Implementation of Functional Programming Languages (context) - Jones - 1986
333 Introduction to Functional Programming (context) - Bird, Wadler - 1988
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
67 Recursive Programming Techniques (context) - Burge - 1975
46 Simula begin (context) - Birtwistle, Dahl et al. - 1973
31 The Semantics of Programming Languages (context) - Hennessy - 1990
12 DEMOS --- a system for discrete event modelling on Simula (context) - Birtwistle - 1979
10 New York (context) - Brown, Macmillan - 1987
10 Operational Semantics of Process-Oriented Simulation Languag.. - Birtwistle, Tofts - 1993
8 The Demos Implementation Guide and Reference Manual (context) - Birtwistle - 1983
7 Computer Science Department (context) - Plotkin, Semantics et al. - 1982
3 Department of Mathematics and Computer Science (context) - Tofts, for et al. - 1993
The graph only includes citing articles where the year of publication is known.
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