nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems
|
Baier Marta, Kwiatkowska Gethin, Norman, Christel |
|
1999 |
22 |
C |
p. 29- 1 p. |
artikel |
2 |
Denotational Semantics for Probabilistic Refusal Testing
|
Gregorio-Rodríguez, Carlos |
|
1999 |
22 |
C |
p. 111-137 27 p. |
artikel |
3 |
From Fairness to Chance
|
de Alfaro, Luca |
|
1999 |
22 |
C |
p. 55-87 33 p. |
artikel |
4 |
Mixing Up Nondeterminism and Probability: a preliminary report 1 1 This paper is an updated version of the paper presented at the PROBMIV′98 workshop, Indianapolis.
|
den Hartog, J.I. |
|
1999 |
22 |
C |
p. 88-110 23 p. |
artikel |
5 |
On Generative Parallel Composition 1 1 Supported by the NWO/SION project 612-33-006 and the System Validation Centre/CTIT.
|
D'Argenio, Pedro R. |
|
1999 |
22 |
C |
p. 30-54 25 p. |
artikel |
6 |
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs
|
Baier, Christel |
|
1999 |
22 |
C |
p. 3-28 26 p. |
artikel |
7 |
Preface
|
Baier, Christel |
|
1999 |
22 |
C |
p. 1-2 2 p. |
artikel |
8 |
Probabilistic Symbolic Simulation and Verification with ⊕-OBDDs
|
Meinel, Christoph |
|
1999 |
22 |
C |
p. 156-170 15 p. |
artikel |
9 |
Reasoning about efficiency within a probabilistic μ-calculus
|
McIver, A.K. |
|
1999 |
22 |
C |
p. 138-155 18 p. |
artikel |
10 |
The Category of Markov Kernels
|
Panangaden, Prakash |
|
1999 |
22 |
C |
p. 171-187 17 p. |
artikel |
11 |
The Essence of Coin Lemmas
|
Segala, Roberto |
|
1999 |
22 |
C |
p. 188-207 20 p. |
artikel |