Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5312978zbMATH OpenOpenAlexFDO

Authors Hubert Garavel, Wendelin Serwe

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• State space reduction for process algebra specifications
• State space reduction for dynamic process creation
• State space reduction of linear processes using control flow reconstruction
• Reduction semantics in Markovian process algebra
• scientific article; zbMATH DE number 1905121
• scientific article; zbMATH DE number 7650840
• State Space Reduction of Rewrite Theories Using Invisible Transitions
• State space reduction using partial order techniques

Cited in

(8)

• Specification guidelines to avoid the state space explosion problem
• State space reduction of linear processes using control flow reconstruction
• CAESAR
• Static analysis of IMC
• scientific article; zbMATH DE number 1487855 (Why is no real title available?)
• scientific article; zbMATH DE number 1905121 (Why is no real title available?)
• State space reduction for process algebra specifications
• Accelerating the computation of dead and concurrent places using reductions

This page was built for publication: Algebraic Methodology and Software Technology

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