Proving approximate implementations for probabilistic I/O automata

DOI10.1016/J.ENTCS.2006.11.040MaRDI QIDQ2864525zbMATH OpenOpenAlexFDO

Authors Sayan Mitra, Nancy Lynch

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.11.040

zbMATH Keywords

equivalenceabstractionapproximate implementationapproximate simulationprobabilistic I/O automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Task-structured probabilistic I/O automata
• Composition and behaviors of probabilistic I/O automata
• CONCUR 2003 - Concurrency Theory
• Probabilistic I/O Automata: Theories of Two Equivalences
• Probabilistic verification and approximation

Cites work

• scientific article; zbMATH DE number 49698 (Why is no real title available?)
• scientific article; zbMATH DE number 3553458 (Why is no real title available?)
• scientific article; zbMATH DE number 1956514 (Why is no real title available?)
• scientific article; zbMATH DE number 1754609 (Why is no real title available?)
• scientific article; zbMATH DE number 2085342 (Why is no real title available?)
• scientific article; zbMATH DE number 2085344 (Why is no real title available?)
• scientific article; zbMATH DE number 1864592 (Why is no real title available?)
• A theory of timed automata
• Approximate simulation relations for hybrid systems
• Approximating labelled Markov processes
• Approximation Metrics for Discrete and Continuous Systems
• Axioms for probability and nondeterminism
• Bisimulation through probabilistic testing
• Domain theory, testing and simulation for labelled Markov processes
• Foundations of Software Science and Computation Structures
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings
• Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings
• Metrics for labelled Markov processes
• Task-structured probabilistic I/O automata
• The Theory of Timed I/O Automata
• Trace-Based Semantics for Probabilistic Timed I/O Automata

Cited in

(6)

• Stuttering for abstract probabilistic automata
• Stuttering for abstract probabilistic automata
• CONCUR 2003 - Concurrency Theory
• Tutorial on parameterized model checking of fault-tolerant distributed algorithms
• Task-structured probabilistic I/O automata
• Semantic analysis of gossip protocols for wireless sensor networks

Describes a project that uses

Uses Software

• MATISSE

This page was built for publication: Proving approximate implementations for probabilistic I/O automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864525)