Searching for authors named "Roberto Segala" – sorted by Relevance.
36 documents found, showing 1 through 10.
Next 10 →
-
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended abstract)
- …Quiescence, Fairness, Testing, and the Notion of Implementation (Extended abstract) Roberto Segala…
- Add To MetaCart
-
The Essence of Coin Lemmas
- …The Essence of Coin Lemmas Roberto Segala Dipartimento di Scienze dell'Informazione Universit`a di…
- Cited by 2 (0 self) – Add To MetaCart
-
Probability and Nondeterminism in Operational Models of Concurrency
- …Probability and Nondeterminism in Operational Models of Concurrency Roberto Segala ⋆ Dipartimento…
- Cited by 1 (0 self) – Add To MetaCart
-
Decision Algorithms for Probabilistic Bisimulation
- …Decision Algorithms for Probabilistic Bisimulation ? Stefano Cattani 1 and Roberto Segala 2 1…
- Cited by 9 (2 self) – Add To MetaCart
-
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems
- … and Algebraic Techniques for Verifying Concurrent Systems 1 Nancy Lynch and Roberto Segala MIT- Laboratory…
- Cited by 5 (1 self) – Add To MetaCart
-
Probabilistic Simulations for Probabilistic Processes
- …Nordic Journal of Computing Probabilistic Simulations for Probabilistic Processes Roberto Segala…
- Cited by 183 (12 self) – Add To MetaCart
-
A Process Algebraic View of I/O Automata
- …A Process Algebraic View of I/O Automata by Roberto Segala B.S., Computer Science University…
- Add To MetaCart
-
Stochastic transition systems for continuous state spaces and non-determinism
- … , Roberto Segala 2 , Marta Kwiatkowska 1 , and Gethin Norman 1 1 School of Computer Science, The University…
- Cited by 7 (3 self) – Add To MetaCart
-
Switched probabilistic I/O automata
- …Switched Probabilistic I/O Automata Ling Cheung 1 , Nancy Lynch 2 , Roberto Segala 3 , and Frits…
- Cited by 4 (2 self) – Add To MetaCart
-
J.Sproston. Verifying soft deadlines with probabilistic timed automata
- … , Roberto Segala 2 and Jeremy Sproston 1 1 University of Birmingham, Birmingham B15 2TT, United Kingdom {M…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
