A Database Approach to Distributed State-Space Generation

DOI10.1093/LOGCOM/EXP004zbMath1213.68364DBLPjournals/logcom/BlomLP011OpenAlexW2130650051WikidataQ62047458 ScholiaQ62047458MaRDI QIDQ3069997

No author found.

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

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

Related Items (1)

A linear process-algebraic format with data for probabilistic automata

Uses Software

• E-LOTOS
• ATERM

This page was built for publication: A Database Approach to Distributed State-Space Generation