| no |
title |
author |
magazine |
year |
volume |
issue |
page(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.
|
article
|
| 2 |
Denotational Semantics for Probabilistic Refusal Testing
|
Gregorio-Rodríguez, Carlos
|
|
1999
|
22 |
C |
p. 111-137
27 p.
|
article
|
| 3 |
From Fairness to Chance
|
de Alfaro, Luca
|
|
1999
|
22 |
C |
p. 55-87
33 p.
|
article
|
| 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.
|
article
|
| 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.
|
article
|
| 6 |
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs
|
Baier, Christel
|
|
1999
|
22 |
C |
p. 3-28
26 p.
|
article
|
| 7 |
Preface
|
Baier, Christel
|
|
1999
|
22 |
C |
p. 1-2
2 p.
|
article
|
| 8 |
Probabilistic Symbolic Simulation and Verification with ⊕-OBDDs
|
Meinel, Christoph
|
|
1999
|
22 |
C |
p. 156-170
15 p.
|
article
|
| 9 |
Reasoning about efficiency within a probabilistic μ-calculus
|
McIver, A.K.
|
|
1999
|
22 |
C |
p. 138-155
18 p.
|
article
|
| 10 |
The Category of Markov Kernels
|
Panangaden, Prakash
|
|
1999
|
22 |
C |
p. 171-187
17 p.
|
article
|
| 11 |
The Essence of Coin Lemmas
|
Segala, Roberto
|
|
1999
|
22 |
C |
p. 188-207
20 p.
|
article
|
Journal description