A database approach to distributed state space generation
type: Item
instance of: scholarly article
zbMATH Open document ID: 1277.68161
published in: Electronic Notes in Theoretical Computer Science
publication date: 2013-12-13T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68W15
zbMATH DE Number: 6238184
zbMATH Keywords: state space partitioning
zbMATH Keywords: state collapsing
zbMATH Keywords: tree compression
zbMATH Keywords: \(\mu\)CRL
describes a project that uses: mCRL
describes a project that uses: ATERM
MaRDI profile type: Publication
full work available at URL: j.entcs.2007.10.018
OpenAlex ID: W2168939023
Wikidata QID: Q62047480
cites work: Verification of a sliding window protocol in \(\mu\) CRL and PVS
cites work: Sequential and distributed model checking of Petri net specifications
cites work: Q4551157
cites work: Q4547772
cites work: Q4417940
cites work: Model checking a cache coherence protocol of a Java DSM implementation
cites work: Q4356446
DOI: 10.1016/J.ENTCS.2007.10.018
DBLP publication ID: journals/entcs/BlomLPW08
title: A database approach to distributed state space generation
author: Stefan Blom
author: Bert Lisser
author: Jaco van de Pol
author: Michael Weber
description: scientific article; zbMATH DE number 6238184