CONCUR 2004 - Concurrency Theory
DOI10.1007/B100113zbMATH Open1099.68670OpenAlexW2499482941MaRDI QIDQ5311482FDOQ5311482
Authors: Jan Friso Groote, T. A. C. Willemse
Publication date: 23 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100113
Recommendations
- Parameterised Boolean equation systems
- Instantiation for Parameterised Boolean Equation Systems
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
- Static Analysis Techniques for Parameterised Boolean Equation Systems
model checkinginfinite state systemsparameterised Boolean equation systemsfirst-order modal \(\mu\)-calculus
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (15)
- Theoretical Aspects of Computing – ICTAC 2005
- Instantiation for Parameterised Boolean Equation Systems
- Formal Methods for Components and Objects
- Title not available (Why is that?)
- Analysis of Boolean equation systems through structure graphs
- Liveness analysis for parameterised Boolean equation systems
- Abstraction in fixpoint logic
- Using SMT for solving fragments of parameterised Boolean equation systems
- Parameterised Boolean equation systems
- A formalisation of consistent consequence for Boolean equation systems
- Proof graphs for parameterised Boolean equation systems
- Structural analysis of Boolean equation systems
- Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
- Invariants for Parameterised Boolean Equation Systems
- Static Analysis Techniques for Parameterised Boolean Equation Systems
This page was built for publication: CONCUR 2004 - Concurrency Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311482)