Trace-Based Semantics for Probabilistic Timed I/O Automata

DOI10.1007/978-3-540-71493-4_69zbMath1221.68139OpenAlexW1513077802MaRDI QIDQ3613020

Sayan Mitra, Nancy A. Lynch

Publication date: 11 March 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_69

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Proving Approximate Implementations for Probabilistic I/O Automata

This page was built for publication: Trace-Based Semantics for Probabilistic Timed I/O Automata