Franck van Breugel  Home/Search
Context Related
Links: ACM DBLP | cs.vu.nl/pub/papers/theor...IR239.ps.Z 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: fermivista.math.ju...ftp.cs.vu.nl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which has been introduced by Baeten and Bergstra [4], enables us to specify a restricted form of unbounded non-determinism. For example, the execution of an action at an arbitrary moment in a time interval can be specified using integration. The operational and the denotational model are proved to be equivalent using a general ... (Update)
Context of citations to this paper: More
...denotational semantics. See [de Bakker, 1991] Jacquet and Monteiro, 1990] Rutten, 1990] America and Rutten, 1991] [van Breugel, 1991] for several applications in imperative, logical, object oriented and real time programming languages. See also [de Bakker and Meyer,...
.... for a fragment of the real time language ACPrae have been proved to be equal by uniqueness of fixed point exploiting the theory in [Bre91]. 2. The theory has also been used to relate an operational and a denotational semantics for a higher order language in [BB93] 3. Metric...
Cited by: More
A Theory of Metric Labelled Transition Systems - van Breugel (1995) (Correct)
Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
Active bibliography (related documents): More All
0.5: Software Technology - Unu Iist Report (Correct)
0.3: Generalizing Finiteness Conditions of Labelled Transition Systems - van Breugel (1993) (Correct)
0.3: Metric Semantics for Second Order Communication - de Bakker, al. (1995) (Correct)
Similar documents based on text: More All
0.1: Failures, Finiteness, and Full Abstraction - van Breugel (1997) (Correct)
0.0: From Branching to Linear Metric Domains (and back) - van Breugel (1995) (Correct)
0.0: Frame-Based Process Logics - Bergstra, Ponse (1995) (Correct)
Related documents from co-citation: More All
2: Contractions in comparing concurrency semantics (context) - Kok, Rutten - 1990
2: Information and Control (context) - de Bakker, Zucker et al. - 1982
2: Solving Reflexive Domain Equations in a Category of Complete Metric Spaces (context) - America, Rutten - 1989
BibTeX entry: (Update)
F. van Breugel, Comparative semantics for a real-time programming language with integration, in: Proc. Theory and Practice of Software Development '91 S. Abramsky and T.S.E. Maibaum (eds.) vol. 1, Lecture Notes in Computer Science 493, Springer (1991) pp 397-411 http://citeseer.ist.psu.edu/vanbreugel91comparative.html More
@inproceedings{ vanbreugel91comparative,
author = "Franck van Breugel",
title = "Comparative Semantics for a Real-Time Programming Language with Integration",
booktitle = "{TAPSOFT}, Vol.1",
pages = "397-411",
year = "1991",
url = "citeseer.ist.psu.edu/vanbreugel91comparative.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
218 Safety Analysis of Timing Properties in Real-Time Systems (context) - Jahanian, Mok - 1986 ACM DBLP
182 Structured Operational Semantics and Bisimulation as a Congr.. (context) - Groote, Vaandrager - 1989 ACM DBLP
126 A Timed Model for Communicating Sequential Processes (context) - Reed, Roscoe - 1988 ACM DBLP
77 Full Abstraction for a Simple Parallel Programming Language (context) - Hennessy, Plotkin - 1979 DBLP
35 A Temporal Process Algebra (context) - Hennessy, Regan - 1990 ACM DBLP
26 Grundzuge der Mengenlehre (context) - Hausdorff - 1914
25 Metric Spaces as Models for Real-Time Concurrency (context) - Reed, Roscoe - 1987 ACM DBLP
24 Heldermann Verlag (context) - Engelking - 1989
21 Contractions in Comparing Concurrency Semantics (context) - Kok, Rutten - 1990 ACM DBLP
21 Priority as Extremal Probability - Smolka, Steffen - 1990 ACM DBLP
18 Specification and Verification of Real-Time Systems in ACP (context) - Groote - 1990
10 ete des Certains Espaces d (context) - Kuratowski, M'ethode - 1956
10 Compositional Semantics for Real-Time Distributed Computing (context) - Koymans, Shyamasundar et al. - 1988 ACM DBLP
9 Transactions of the American Mathematical Society (context) - Michael, Spaces - 1951
8 A Serious Problem for Next-Generation Systems (context) - Stankovic - 1988
8 Semantic Correctness for a Parallel Object-Oriented Language (context) - Rutten - 1990 ACM DBLP
6 A Hierarchy of Domains for Real-Time Distributed Computing (context) - Reed - 1991 ACM DBLP
2 Semantics of Real-Time Distributed Programs (context) - Goswami, Joseph - 1988 ACM
1 Interpretations of Recursion under Unbounded Non-Determinacy (context) - Hesselink - 1988
1 Foundations of Computer Science (context) - Nivat, Infinite et al. - 1979 ACM
1 577-583 (context) - Wirth, of et al. - 1977
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.vu.nl.html): More
Models for Asynchronous Message Handling - Langendoen, Bhoedjang, Bal (1997) (Correct)
Orca: a Portable User-Level Shared Object System - Bal, BHOEDJANG, HOFMAN.. (1996) (Correct)
Object Distribution in Orca using Compile-Time and Run-Time.. - Bal, Kaashoek (1993) (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