Simplifying process parameters by unfolding algebraic data types

DOI10.1007/978-3-031-47963-2_24MaRDI QIDQ6605372

Anna Stramaglia, Thomas Neele, Jeroen J. A. Keiren

Publication date: 13 September 2024

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Parameterised Boolean equation systems
• Liveness Analysis for Parameterised Boolean Equation Systems
• Static Analysis Techniques for Parameterised Boolean Equation Systems
• State Space Reduction of Linear Processes Using Control Flow Reconstruction
• Symbolic Reachability for Process Algebras with Recursive Data Types
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Simplifying process parameters by unfolding algebraic data types