Searching for "Process Algebra and Markov Chains." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

Process Algebra and Markov Chains
by Ed Brinksma, Holger Hermanns — FMPA 2000: EuroSummerschool on Formal Methods and Performance Analysis, volume 2090 of Lecture Notes in Computer Science
…Process Algebra and Markov Chains Ed Brinksma and Holger Hermanns Formal Methods and Tools Group…
Cited by 5 (1 self) – Add To MetaCart

Exploiting Symmetries In Stochastic Process Algebras
by Holger Hermanns, Marina Ribaudo — 1998 — in Proc. of 12th European Simulation Multiconference (ESM
… Dipartimento di Informatica marina@(email omitted); KEYWORDS Process Algebra, Markov Chains, Compositionality…
Cited by 8 (2 self) – Add To MetaCart

Modelling with Generalized Stochastic Petri Nets
by M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Parallel Computing, John Wiley, V. Almeida, J. Almeida, C. Murta Performance Analysis — 1995 — Series in Parallel Computing
…. [22] E. Brinksma and H. Hermanns. Process algebra and markov chains. In Brinksma et al. [23], pages…
Cited by 252 (18 self) – Add To MetaCart

A Compositional Approach To Generalised Semi-Markov Processes
by Pedro R. D'Argenio, Joost-pieter Katoen, Ed Brinksma — 1998
… Markov chains. Various useful links between process algebras and Markov chains have thus been established…
Cited by 3 (1 self) – Add To MetaCart

A Compositional Approach To Generalised Semi-Markov Processes
by Pedro Argenio, Joost-pieter Katoen — 1998
… Markov chains. Various useful links between process algebras and Markov chains have thus been established…
Add To MetaCart

IC2- Initial Results on Architectures and Dependability Mechanisms for Dependable SoS List of Authors
by Ist- Dependable Systems, For Dependable Soss
…S analysis, without requiring extensive knowledge of formal modelling techniques (e.g., process algebra…
Add To MetaCart

Bibliography
by Accellera Property Specification, J. S. Smith, D. J. Medeiros, M. W. Rohrer (eds, Proceedings Of The, R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T Kanza, S. Mador-haim, E. Singerman, A. Tiemeyer, M. Y. Vardi, Y. Zbar, The For, F. Balarin, E. Stentovich, M. Chiodo, H. Hsieh, B. Tabbara, A. Jurecska, L. Lavagno, C. Passerone, K. Suzuki, A. Sangiovanni-vincentelli
… 1991. [29] E. Brinksma and H. Hermanns. Process Algebra and Markov Chains. In: E. Brinksma, H. Hermanns…
Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB