Confluence Reduction for Probabilistic Systems
From MaRDI portal
Publication:3000663
DOI10.1007/978-3-642-19835-9_29zbMath1316.68077arXiv1011.2314WikidataQ62047461 ScholiaQ62047461MaRDI QIDQ3000663
Mariëlle I. A. Stoelinga, Mark Timmer, Jaco van de Pol
Publication date: 19 May 2011
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1011.2314
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Confluence for process verification
- Confluence Reduction for Probabilistic Systems
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
- State Space Reduction of Linear Processes Using Control Flow Reconstruction
- Branching time and abstraction in bisimulation semantics
- Computer Aided Verification