Undecidability Results for Distributed Probabilistic Systems

DOI10.1007/978-3-642-10452-7_15zbMath1266.68137OpenAlexW2122346229MaRDI QIDQ3651281

Sergio Giro

Publication date: 9 December 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-10452-7_15

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms ⋮ Information hiding in probabilistic concurrent systems

Uses Software

• LiQuor

This page was built for publication: Undecidability Results for Distributed Probabilistic Systems