Task-Structured Probabilistic I/O Automata

Task-Structured Probabilistic I/O Automata

Show other versions (3)

"May 28, 2009."

Bibliographic Details
Main Authors:	Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto
Other Authors:	Nancy Lynch
Published:	2013
Online Access:	http://hdl.handle.net/1721.1/78359

Similar Items

Task-structured probabilistic I/O automata
by: Canetti, Ran, et al.
Published: (2021)

Task-Structured Probabilistic I/O Automata
by: Canetti, Ran, et al.
Published: (2006)

Task-Structured Probabilistic I/O Automata
by: Canetti,, Ran, et al.
Published: (2006)

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2007)

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2006)

Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2006)

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2006)

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
by: Canetti, Ran, et al.
Published: (2005)

The Theory of Timed I/O Automata
by: Kaynar, Dilsun K., et al.
Published: (2005)

The Theory of Timed I/O Automata
by: Kaynor, Dilsun K., et al.
Published: (2005)

Modeling Computational Security in Long-Lived Systems, Version 2
by: Lynch, Nancy, et al.
Published: (2008)

Compositionality for Probabilistic Automata
by: Lynch, Nancy A., et al.
Published: (2023)

Hybrid I/O Automata*
by: Lynch, Nancy A., et al.
Published: (2023)

Hybrid I/O Automata
by: Lynch, Nancy A., et al.
Published: (2023)

Hybrid I/O Automata
by: Lynch, Nancy A., et al.
Published: (2023)

A Process Algebraic View of I/O Automata
by: Segala, Roberto
Published: (2023)

I/O Automata: A Model for Discrete Event Systems
by: Lynch, Nancy A.
Published: (2023)

Systematic Removal of Nondeterminism for Code Generation in I/O Automata
by: Vaziri, Mandana, et al.
Published: (2005)

Computing probabilistic bisimilarity distances for probabilistic automata
by: Bacci, G, et al.
Published: (2021)

Probabilistic automata and stochastic languages
by: Soh, Royson Jun Heng
Published: (2024)

Probabilistic automata of bounded ambiguity
by: Fijalkow, N, et al.
Published: (2017)

Language Equivalence for Probabilistic Automata
by: Wachter, J
Published: (2011)

Paired simulation of I/O automata
by: Ramírez-Robredo, J. Antonio (José Antonio), 1976-
Published: (2014)

Simulation of composite I/O automata
by: Solovey, Edward, 1979-
Published: (2005)

Action Transducers and Timed Automata
by: Lynch, Nancy A., et al.
Published: (2023)

Model-based estimation of probabilistic hybrid automata
by: Henry, Melvin Michael, 1968-
Published: (2013)

Two Undecidability Results in Probabilistic Automata Theory
by: Kilian, Joseph J.
Published: (2023)

Two undecidability results in probabilistic automata theory
by: Kilian, Joe.
Published: (2020)

When are emptiness and containment decidable for probabilistic automata?
by: Daviaud, L, et al.
Published: (2021)

A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems
by: Lynch, Nancy A., et al.
Published: (2023)

Accurate belief state update for probabilistic constraint automata
by: Martin, Oliver B., 1979-
Published: (2006)

Game characterization of probabilistic bisimilarity, and applications to pushdown automata
by: Forejt, V, et al.
Published: (2018)

The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
by: van Breugel, F, et al.
Published: (2014)

Formal verification of simulations between I/O automata
by: Bogdanov, Andrej, 1978-
Published: (2014)

6.045J / 18.400J Automata, Computability, and Complexity, Spring 2005
by: Lynch, Nancy
Published: (2005)

Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations
by: Lynch, Nancy A.
Published: (2023)

Fast, approximate state estimation of concurrent probabilistic hybrid automata
by: Timmons, Eric (Eric M.)
Published: (2013)

Fast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automata
by: Timmons, Eric
Published: (2018)

Virtual Stationary Automata for Mobile Networks
by: Dolev, Shlomi, et al.
Published: (2005)

On probabilistic strategies for robot tasks
by: Erdmann, Michael Andreas
Published: (2009)