Marta Kwiatkowska, Gethin Norman  Home/Search
Context Related
| cs.bham.ac.uk/pub/author...papm96.ps.gz dcs.ed.ac.uk/home/stg/PE...metric.ps.gz 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: cs.bham.ac.uk/~mzk/publ (more) From: dcs.ed.ac.uk/home/stg/PE...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Stochastic process algebras, which combine the features of a process calculus with stochastic analysis, were introduced to enable compositional performance analysis of systems. At the level of syntax, compositionality presents itself in terms of operators, which can be used to build more complex systems from simple components. Denotational semantics is a method for assigning to syntactic objects elements of a suitably chosen semantic domain. This is compositional in style, as operators are... (Update)
Cited by: More
Metric Semantics for Reactive Probabilistic Processes - Norman (1997) (Correct)
Similar documents (at the sentence level):
35.0%: Metric Denotational Semantics for - Pepa Marta Kwiatkowska (Correct)
9.4%: Metric Denotational Semantics for PEPA - Kwiatkowska, Norman (1996) (Correct)
Active bibliography (related documents): More All
0.1: Probabilistic Metric Semantics for a Simple Language with.. - Kwiatkowska, Norman (1996) (Correct)
0.1: A Class of PEPA Models Exhibiting Product Form Solution over.. - Hillston (1998) (Correct)
0.1: Stochastic Process Algebras and their Application to.. - Hillston, Pooley (1998) (Correct)
Similar documents based on text: More All
0.5: Verifying Randomized Byzantine Agreement - Kwiatkowska, Norman (2002) (Correct)
0.4: Solving Infinite Stochastic Process Algebra Models.. - El-Rayes.. (Correct)
0.4: Automated Verification of a Randomized Byzantine Agreement.. - Kwiatkowska, Norman (2002) (Correct)
BibTeX entry: (Update)
M.Z. Kwiatkowska and G. Norman. Metric denotational semantics for PEPA. In M. Ribaudo, editor, Proc. 4th Process Algebra and Performance Modelling Workshop, pages 120-138, CLUT, 1996. http://citeseer.ist.psu.edu/article/kwiatkowska96metric.html More
@techreport{ kwiatkowska96metric,
author = "Marta Kwiatkowska and Gethin Norman",
title = "Metric Denotational Semantics for {PEPA}",
number = "CSR-96-11",
month = "June",
year = "1996",
url = "citeseer.ist.psu.edu/article/kwiatkowska96metric.html" }
Citations (may not include all citations):1933 Communication and concurrency (context) - Milner - 1989
276 A compositional approach to performance modelling - Hillston - 1996
247 Bisimulation through probabilistic testing (context) - Larsen, Skou - 1991
73 Algebraic reasoning for probabilistic concurrent systems - Giacalone, Jou et al. - 1989
51 Compositional testing preorders for probabilistic processes - Jonsson, Yi - 1995
45 Probabilistic communicating processes (context) - Seidel - 1995
38 Information and Control (context) - de Bakker, Zucker et al. - 1984
32 Compositional verification of probabilistic processes (context) - Larsen, Skou - 1992
32 generative and stratified models of probabilistic processes (context) - van Glabbeek, Smolka et al. - 1990
25 A simple time scale decomposition technique for stochastic p.. - Hillston, Mertsiotakis - 1995
25 Fully abstract characterizations of testing preorders for pr.. (context) - Yuen, Cleaveland et al. - 1994
24 Exploiting quasi-reversible structures in Markovian Process .. - Harrison, Hillston - 1995
22 Integrating performance and functional analysis of concurren.. - Bernardo, Donatiello et al. - 1996
20 Modelling and verification of randomized distributed real-ti.. (context) - Segala - 1995
20 Probabilistic metric semantics for a simple language with re.. - Kwiatkowska, Norman - 1996
12 equivalences and axioms for MTIPP (context) - Hermanns, Rettelbach - 1994
3 the IEEE Annual Symposium on Logic in Computer Science (context) - Edalat, in et al. - 1995
3 Modelling and analysing concurrent systems with MPA (context) - Bernardo, Donatiello et al. - 1994
2 Specifications in stochastic process algbra for a robot cont.. (context) - Gilmore, Hillston et al. - 1995
Documents on the same site (http://www.cs.bham.ac.uk/~mzk/publ.html): More
Quantitative Analysis and Model Checking - Huth (1997) (Correct)
Comparing CTL and PCTL on Labeled Markov Chains - Huth, Kwiatkowska (1998) (Correct)
Re-Interpreting the Modal µ-Calculus - Bonsangue, Kwiatkowska (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