Joost-Pieter Katoen, Christel Baier, Diego Latella  Home/Search
Context Related
| miro.informatik.unibonn.de/pa...tcs.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: miro.informatik...publicationsde (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interleaving setting and is based on a timed extension of Langerak's bundle event structures, a variant of Winskel's event structures. The distance function of the metric is based on the amount of time to which event structures do `agree'. We show that this intuitive notion of distance is a pseudo metric (but not a metric) ... (Update)
Context of citations to this paper: More
.... areas like probabilistic bisimulation [46,18] veri cation of probabilistic systems [5,33] and semantics of probabilistic systems [10,55,42]. 7 Conclusions and Further Work In this paper we have presented a generic approach to a denotational semantics for probabilistic...
Cited by: More
Linear Structures for Concurrency in Probabilistic.. - Di Pierro, Wiklicky (2001) (Correct)
Similar documents (at the sentence level):
69.9%: Metric Semantics for - True Concurrent Real (Correct)
8.8%: Metric Semantics for True Concurrent Real Time - Baier, Katoen, Latella (1998) (Correct)
Active bibliography (related documents): More All
2.4: Partial Order Models for Quantitative Extensions of LOTOS - Brinksma, Katoen.. (1997) (Correct)
0.9: On Specifying Real-Time Systems in a Causality-Based.. - Katoen, Langerak.. (1996) (Correct)
0.9: A True Concurrency Semantics for ET-LOTOS - Bowman, Katoen (1997) (Correct)
Similar documents based on text: More All
0.5: Well-behaved Flow Event Structures for Parallel Composition .. - van Glabbeek, Goltz (Correct)
0.3: The Design of a Tool-Supported Graphical Notation for Timed CSP - Brooke, Palge (2002) (Correct)
0.3: Stochastic Simulation of Event Structures - Katoen, Brinksma, Latella.. (1996) (Correct)
Related documents from co-citation: More All
2: Semantics for probabilistic programs (context) - Kozen - 1981
2: Domain Theory and the Logic of Observable Properties (context) - Abramsky - 1987
BibTeX entry: (Update)
Katoen, J.-P., C. Baier and D. Latella, Metric semantics for true concurrent real time, Theoretical Computer Science 254 (2001), pp. 501-542. http://citeseer.ist.psu.edu/katoen99metric.html More
@article{ katoen01metric,
author = "Joost-Pieter Katoen and Christel Baier and Diego Latella",
title = "Metric semantics for true concurrent real time",
journal = "Theoretical Computer Science",
volume = "254",
number = "1--2",
pages = "501--542",
year = "2001",
url = "citeseer.ist.psu.edu/katoen99metric.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
407 Introduction to the ISO specification language LOTOS (context) - Bolognesi, Brinksma - 1987
268 A theory of timed automata - Alur, Dill - 1994
211 Domain theory - Abramsky, Jung - 1994
129 An overview and synthesis on timed process algebras (context) - Nicollin, Sifakis - 1992
126 A timed model for Communicating Sequential Processes (context) - Reed, Roscoe - 1988
86 Basic notions of trace theory (context) - Mazurkiewicz - 1989
44 event structures and domains (context) - Nielsen, Plotkin et al. - 1981
41 Transformations and Semantics for LOTOS (context) - Langerak - 1992
38 Event structure semantics for CCS and related languages (context) - Winskel - 1982
34 Modelling nondeterministic concurrent processes with event s.. (context) - Loogen, Goltz - 1991
29 Models and axioms for a fragment of real-time process algebr.. (context) - Klusener - 1993
26 Quantitative and Qualitative Extensions of Event Structures (context) - Katoen - 1996
22 Control Flow Semantics (context) - de Bakker, de Vink - 1996
21 Timing and causality (context) - Aceto, Murphy - 1996
17 Flow models of distributed computations: three equivalent se.. (context) - Boudol, Castellani - 1994
17 Bundle event structures: a non-interleaving semantics for LO.. (context) - Langerak - 1993
16 A constraint-oriented real-time process calculus (context) - Fidge - 1993
14 A simple definition for parallel composition of prime event .. (context) - Vaandrager - 1989
11 Metric semantics from partial order semantics (context) - Baier, Majster-Cederbaum - 1997
10 infinite computations (context) - Nivat, infinite - 1979
10 Time and duration in noninterleaving concurrency (context) - Murphy - 1993
10 Posets for configurations - Rensink - 1992
9 Parallel product of event structures - Castellani, Zhang - 1997
7 Towards an algebra for timed behaviours (context) - Maggiolo-Schettini, Winkowski - 1992
7 Processes and the denotational semantics of concurrency (context) - de Bakker, Zucker - 1982
6 On specifying real-time systems in a causality-based setting - Katoen, Latella et al. - 1996
6 Durations for truly-concurrent transitions (context) - Goubault - 1996
6 Denotational semantics in the cpo and metric approach (context) - Baier, Majster-Cederbaum - 1994
6 The connection between an event structure semantics and an o.. (context) - Baier, Majster-Cederbaum - 1994
5 Using timed CSP for specification verification and analysis .. (context) - Ates, Bilgic et al. - 1996
5 Real-time LOTOS and timed observations - Davies, Bryans et al. - 1995
4 Layering of real-time distributed processes (context) - Janssen, Poel et al. - 1994
4 expressive real-time CCS - Fidge, Zic et al. - 1995
4 Causal ambiguity and partial orders in event structures - Langerak, Brinksma et al. - 1997
4 Time-constrained buffer specifications in CSP+T and timed CS.. - Zic - 1994
4 How to interpret consistency and establish consistency resul.. (context) - Baier, Majster-Cederbaum - 1997
3 A consistent causality-based view on a timed process algebra.. (context) - Katoen, Langerak et al. - 1998
2 Denotational models for programming languages: applications .. (context) - de Bakker, de Vink - 1998
2 Metric semantics for true concurrent real time - Baier, Katoen et al. - 1998
1 Cambridge Tracts in Mathematics (context) - Copson - 1992
Documents on the same site (http://miro.informatik.uni-bonn.de/publications-de.html): More
Symbolic Model Checking for Probabilistic Processes - Baier, Clarke.. (1997) (Correct)
The Algebraic Mu-Calculus and MTBDDs - Baier, Clarke (1998) (Correct)
Approximate symbolic model checking of continuous-time.. - Baier, Katoen, Hermanns (1999) (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