Structural Analysis of Boolean Equation Systems

DOI10.1145/2071368.2071376zbMath1351.68181arXiv1002.3222OpenAlexW2144698929MaRDI QIDQ2946656

Jeroen J. A. Keiren, Tim A. C. Willemse, Michel Reniers

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1002.3222

zbMATH Keywords

bisimilarityBoolean equation systemsstructure graphs

Mathematics Subject Classification ID

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

Uses Software

• CADP
• CAESAR_SOLVE

This page was built for publication: Structural Analysis of Boolean Equation Systems