Avoiding irreducible CSC conflicts by internal communication

DOI10.3233/FI-2009-140zbMATH Open1214.68253OpenAlexW2623310446MaRDI QIDQ3400544FDOQ3400544

Authors: Dominic Wist, Ralf Wollowski, Mark Schaefer, 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

Recommendations

• Foundations of Software Science and Computational Structures
• Component refinement and CSC-solving for STG decomposition
• Improved decomposition of signal transition graphs
• scientific article; zbMATH DE number 2112982
• Combining Decomposition and Unfolding for STG Synthesis

zbMATH Keywords

decompositionhandshakestate-space explosionCSCSTGresynthesis

Mathematics Subject Classification ID

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

Cited In (2)

• Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings
• STG decomposition strategies in combination with unfolding

This page was built for publication: Avoiding irreducible CSC conflicts by internal communication

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