W. Yi: Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information, Proc. Formal Techniques in Real Time and Fault Tolerant Systems, Lecture Notes in Computer Science 863, pp 680-693, 1994.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Polynomial Time Algorithms for Testing Probabilistic Bisimulation.. - Baier (1996) (15 citations) (Correct)
....3 ) 3, 17] and strong and weak simulation in time O(n 4 Delta m) 4] where n is the number of states and m the number of transitions of the underlying transition system. In recent years, many researchers have focussed on reasoning about probabilistic distributed transition systems, see e.g. [15, 18, 23, 25, 28, 29, 30]. A lot of work has been done to extend those models and methods which have been successful for the non probabilistic case to probabilistic systems. In the literature a variety of models for probabilistic processes has been proposed, most of them based on transition systems. Two kinds of models ....
W. Yi: Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information, Formal Techniques in Real Time and Fault Tolerant Systems, Lecture Notes in Computer Science 863, Springer-Verlag, pp 680-693, 1994.
Domain Equations for Probabilistic Processes - Baier, Kwiatkowska (1997) (22 citations) (Correct)
....of the subprocesses performs its next step, and that no (probabilistic) assumptions about these decisions, which any scheduler has to obey, are or can be made. Research on probabilistic concurrent calculi has so far concentrated mainly on the operational notions and the associated logics, see e.g. [LS91, SL94, GSST90, JS90, Ch90, GJS90, HJ90, Low91, To94, CSZ92, YCDS94, Yi94, YL92]. Larsen Skou [LS91] defined probabilistic transition systems and probabilistic bisimulation. Segala Lynch [SL94] introduced the notion of probabilistic simulation. Probabilistic extensions of CCS are introduced in [GJS90, HJ90, To94, YL92, Yi94] and Probabilistic CSP in [Low91] While the ....
....SL94, GSST90, JS90, Ch90, GJS90, HJ90, Low91, To94, CSZ92, YCDS94, Yi94, YL92] Larsen Skou [LS91] defined probabilistic transition systems and probabilistic bisimulation. Segala Lynch [SL94] introduced the notion of probabilistic simulation. Probabilistic extensions of CCS are introduced in [GJS90, HJ90, To94, YL92, Yi94] and Probabilistic CSP in [Low91] While the calculi in [GJS90, To94] are based on SCCS [Mil83] and replace the non deterministic choice operator by a probabilistic choice operator we deal like [YL92, Yi94] with a calculi that is based on (asynchronous) CCS and allow for both non deterministic ....
[Article contains additional citation context not shown here]
W. Yi: Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information, Proc. Formal Techniques in Real Time and Fault Tolerant Systems, Lecture Notes in Computer Science 863, pp 680-693, 1994.
Under consideration for publication in Math. Struct. in.. - Domain Equations For (Correct)
No context found.
W. Yi: Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information, Proc. Formal Techniques in Real Time and Fault Tolerant Systems, Lecture Notes in Computer Science 863, pp 680-693, 1994.
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