Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains
From MaRDI portal
Publication:5233247
DOI10.1007/978-3-319-66706-5_14zbMath1420.68020OpenAlexW2747853891MaRDI QIDQ5233247
Antoine Miné, Abdelraouf Ouadjaout
Publication date: 16 September 2019
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://hal.sorbonne-universite.fr/hal-01575855/file/sas17-ouadjaout.pdf
Formal languages and automata (68Q45) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Network protocols (68M12)
Related Items