Input/Output Stochastic Automata

DOI10.1007/978-3-319-44878-7_4zbMath1433.68246OpenAlexW2511317331MaRDI QIDQ4603557

Matias David Lee, Raúl E. Monti, Pedro 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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Markov processes (60J99)

Related Items (1)

Identity-Based Cryptosystems and Quadratic Residuosity

This page was built for publication: Input/Output Stochastic Automata