A database approach to distributed state-space generation

DOI10.1093/LOGCOM/EXP004zbMATH Open1213.68364DBLPjournals/logcom/BlomLP011OpenAlexW2130650051WikidataQ62047458 ScholiaQ62047458MaRDI QIDQ3069997FDOQ3069997

Authors

Publication date 2 February 2011

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://research.utwente.nl/en/publications/a-database-approach-to-distributed-statespace-generation(41b658b2-cf20-47fa-9b3f-86697d8c6c5b).html

zbMATH Keywords

tree compressionstate-space partitioningstate collapsing\(\mu \)CRL

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• A database approach to distributed state space generation
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• A distributed algorithm for GSPN reachability graph generation
• scientific article; zbMATH DE number 1262867
• A distributed algorithm for strong bisimulation reduction of state spaces

Cited in

(3)

• A database approach to distributed state space generation
• A linear process-algebraic format with data for probabilistic automata
• A probabilistic dynamic technique for the distributed generation of very large state spaces

Describes a project that uses

Uses Software

• E-LOTOS
• ATERM

This page was built for publication: A database approach to distributed state-space generation

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