Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5312997zbMATH OpenOpenAlexFDO

Authors Jaco van de Pol, Miguel Valero Espada

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

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An abstract interpretation toolkit for CRL
• Modal Abstractions of Concurrent Behaviour
• Modal abstractions of concurrent behavior
• scientific article; zbMATH DE number 1863177
• Accelerated Modal Abstractions of Labelled Transition Systems

Cited in

(7)

• Modal abstractions of concurrent behavior
• Modal Abstractions of Concurrent Behaviour
• Static Analysis Techniques for Parameterised Boolean Equation Systems
• Accelerated Modal Abstractions of Labelled Transition Systems
• Refinement of Kripke Models for Dynamics
• Analysing AWN-Specifications Using mCRL2 (Extended Abstract)
• An abstract interpretation toolkit for CRL

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 Q5312997)