Avoiding Irreducible CSC Conflicts by Internal Communication

DOI10.3233/FI-2009-140zbMath1214.68253OpenAlexW2623310446MaRDI QIDQ3400544

Ralf Wollowski, Mark Schaefer, Dominic Wist, Walter Vogler

Publication date: 5 February 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-140

zbMATH Keywords

decompositionstate-space explosionhandshakeCSCSTGresynthesis

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer system organization (68M99)

Related Items (1)

STG decomposition strategies in combination with unfolding

This page was built for publication: Avoiding Irreducible CSC Conflicts by Internal Communication