|
Journals in DBLP
Inf. Comput. 2005, volume: 203, number: 1
- Pedro R. D'Argenio, Joost-Pieter Katoen
A theory of stochastic systems part I: Stochastic automata. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:203, n:1, pp:1-38 [Journal]
- Pedro R. D'Argenio, Joost-Pieter Katoen
A theory of Stochastic systems. Part II: Process algebra. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:203, n:1, pp:39-74 [Journal]
- Denis Lugiez, Ph. Schnoebelen
Decidable first-order transition logics for PA-processes. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:203, n:1, pp:75-113 [Journal]
|