Input/output stochastic automata -- compositionality and determinism

DOI10.1007/978-3-319-44878-7_4MaRDI QIDQ4603557zbMATH OpenOpenAlexFDO

Authors Matias David Lee, Raúl E. Monti, P. R. D'Argenio

Publication date 16 February 2018

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-44878-7_4

Mathematics Subject Classification ID

Continuous-time Markov processes on general state spaces (60J25) Markov processes (60J99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Input/output stochastic automata with urgency: confluence and weak determinism
• A theory of stochastic systems. I: Stochastic automata
• Compositional design of stochastic timed automata
• Composition and behaviors of probabilistic I/O automata
• Concurrency and composition in a stochastic world

Cited in

(8)

• Statistical input-output equivalence of automata
• Input/output stochastic automata with urgency: confluence and weak determinism
• A theory of stochastic systems. I: Stochastic automata
• Dynamic input/output automata: a formal and compositional model for dynamic systems
• Identity-Based Cryptosystems and Quadratic Residuosity
• scientific article; zbMATH DE number 4213439 (Why is no real title available?)
• Compositional design of stochastic timed automata
• A compositional semantics for repairable fault trees with general distributions

This page was built for publication: Input/output stochastic automata -- compositionality and determinism

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