Searching for authors named "Marina Ribaudo" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Understanding Stochastic Process Algebras via their Stochastic Petri Nets Semantics
- … Understanding Stochastic Process Algebras via their Stochastic Petri Nets Semantics Marina Ribaudo…
- Cited by 6 (1 self) – Add To MetaCart
-
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras
- … check of a transition and the state The Computer Journal, Vol. 38, No. 2, 2 Marina Ribaudo change…
- Cited by 7 (2 self) – Add To MetaCart
-
Stochastic Petri Net Semantics for Stochastic Process Algebras
- …Stochastic Petri Net Semantics for Stochastic Process Algebras Marina Ribaudo Dipartimento di…
- Cited by 17 (1 self) – Add To MetaCart
-
Stochastic Process Algebras: A New Approach To Performance Modeling
- … and Marina Ribaudo 10.1 INTRODUCTION In this chapter we present an introduction to the novel approach…
- Cited by 10 (0 self) – Add To MetaCart
-
Modelling Mobility with PEPA Nets
- …Modelling Mobility with PEPA Nets Jane Hillston 1⋆ and Marina Ribaudo 2⋆⋆ 1 Laboratory…
- Cited by 1 (0 self) – Add To MetaCart
-
Exploiting Symmetries In Stochastic Process Algebras
- …-Nurnberg IMMD 7 hrherman@(email omitted); Marina Ribaudo Universita degli Studi di Torino…
- Cited by 8 (2 self) – Add To MetaCart
-
Exploiting Modal Logic to Express Performance Measures
- … , Jane Hillston 1 , and Marina Ribaudo 2 1 LFCS, The University of Edinburgh, Scotland. Email: {gcla…
- Cited by 12 (9 self) – Add To MetaCart
-
PEPA nets: A structured performance modelling formalism
- … , Leïla Kloul ¡¢ , Marina Ribaudo £ Laboratory for Foundations of Computer Science, The University…
- Cited by 27 (21 self) – Add To MetaCart
-
Diagnosis and diagnosability analysis using Process Algebras
- …Diagnosis and diagnosability analysis using Process Algebras Luca Console, Claudia Picardi, Marina…
- Cited by 7 (0 self) – Add To MetaCart
-
Diagnosis and diagnosability analysis using PEPA
- …Diagnosis and diagnosability analysis using PEPA Luca Console, Claudia Picardi, Marina Ribaudo 1…
- Cited by 10 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
