Jeremy Thomas Bradley  Home/Search
Context Related
| cs.bris.ac.uk/Publication...1000391.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: cs.bris.ac.uk/Pu...other_pubs.jsp (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this thesis,we investigate reliable modelling within a stochastic process algebra framework. Primarily,we consider issues of variance in stochastic process algebras as a measure of model reliability. This is in contrast to previous research in the #eld which has tended to centre around mean behaviour and steady-state solutions. (Update)
Context of citations to this paper: More
.... a very useful departure from current locally de ned equivalences and would go some way to achieving one of the future goals set out in [5]. In the meantime, the development of a general performance partial order was one of the useful research avenues identi ed by Hillston [6]...
.... of semi Markov processes (SMPs) By relating these simple problems to previous work on stochastic transition system 1 manipulation [3] we show how transient results for arbitrary n state SMPs can be deduced. We compare the technique with previous analytic methods [6] and...
Cited by: More
A Matrix-based Method for Analysing Stochastic Process Algebras - Bradley, Davies (Correct)
Putting Quality Of Service Into A Network By Making The.. - Bradley, Thomas (2001) (Correct)
Constructing a Residual Density Operator - Bradley (2000) (Correct)
Similar documents (at the sentence level):
9.3%: An Aggregation Technique for Analysing Some Generally.. - Bradley, Davies (1999) (Correct)
5.6%: Reliable Performance Modelling with Approximate Synchronisations - Bradley, Davies (1999) (Correct)
5.4%: Performance Modelling and Synchronisation - Bradley, Davies (1998) (Correct)
Active bibliography (related documents): More All
0.5: April 1998 CSTR-98-005 - University Of Bristol (Correct)
0.5: Generating the Parser-Pretty-Printer Isomorphism.. - Walton (1998) (Correct)
0.3: EMA: Implementing the Rewriting Computational Model of Escher - Eder (1998) (Correct)
Similar documents based on text:
99.0: Unknown - (Correct)
Related documents from co-citation: More All
3: A Compositional Approach to Performance Modelling - Hillston - 1996
3: Wiley series in probability and mathematical statistics (context) - Ripley - 1987
2: A Structured Approach to Operational Semantics (context) - Plotkin - 1981
BibTeX entry: (Update)
Bradley, J. T. Towards Reliable Modelling with Stochastic Process Algebras. PhD thesis, Department of Computer Science, University of Bristol, Bristol BS8 1UB, UK, October 1999. http://citeseer.ist.psu.edu/bradley99towards.html More
@techreport{ bradley99towards,
author = "J Bradley",
title = "Towards Reliable Modelling with Stochastic Process Algebras",
number = "CS-EXT-1999-225",
month = "1,",
year = "1999",
url = "citeseer.ist.psu.edu/bradley99towards.html" }
Citations (may not include all citations):107 Algorithmic Graph Theory (context) - pp - 1985 ACM
86 Department of Computer Science (context) - DAIMI - 1981
86 Department of Computer Science (context) - CSR - 1993
39 Department of Computer Science (context) - thesis - 1999
39 Department of Computer Science (context) - thesis - 1994
26 Springer-Verlag (context) - Computer - 1980
3 New Hampshire (context) - Responsive, Systems - 1993
3 A feature construct for PEPA - pp, Hillston - 1993
3 IEEE Transactions on Computers (context) - on, September - 1982
2 of Lecture Notes in Computer Science (context) - Theory, Nets et al. - 1987
1 Product form solution of a class of PEPA models (context) - de Zaragoza, de Zaragoza et al. - 1998
1 of Edinburgh, Edinburgh EH9 3JZ (context) - Computer, University - 1996
1 of Edinburgh, Edinburgh EH9 3JZ (context) - Science - 1989
1 An Introduction to Probability Theory and its Applications (context) - Hillston, pp - 1968
1 Liverpool John Moores University (context) - Workshop, Computer et al. - 1995
1 of Series in Decision and Control (context) - Processes - 1971
1 Verifying performance oriented properties of TIS speci#catio.. (context) - Computer, Springer-Verlag - 1993
1 and Rettelbach (context) - Gilmore, pp - 1994
1 Departmentof Computer Science (context) - Algebra, Modelling et al. - 1993
1 Formal Aspects of Computing - of, June - 1991
1 of Special Issue: The Computer Journal (context) - Edinburgh, vol - 1995
1 and Davies (context) - Engineering, pp - 1999
1 ofApplied Mathematics and Mechanics (context) - Silva, Cohen et al. - 1969
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bris.ac.uk/Publications/other_pubs.jsp): More
Practical Model-Based Static Analysis for Definite Logic.. - Gallagher, Boulanger.. (1995) (Correct)
A Sophisticated Shell Environment - Pehlivan (2000) (Correct)
Visual Abstraction of Wildlife Footage using Gaussian.. - Gibson, Campbell, Thomas (2002) (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