Selective mu-calculus and formula-based equivalence of transition systems
type: Item
instance of: scholarly article
title: Selective mu-calculus and formula-based equivalence of transition systems
zbMATH Open document ID: 0958.68122
author: Roberto Barbuti
author: Nicoletta De Francesco
author: Antonella Santone
author: Gigliola Vaglini
published in: Journal of Computer and System Sciences
publication date: 2000-03-19T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 1417885
zbMATH Keywords: labeled transition system
zbMATH Keywords: selective mu-calculus
describes a project that uses: LOTOS
describes a project that uses: CADP
MaRDI profile type: Publication
OpenAlex ID: W2063176706
cites work: Q4036555
cites work: Local model checking for infinite state spaces
cites work: Tableau-based model checking in the propositional mu-calculus
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q3992568
cites work: Q3336680
cites work: Q4733387
cites work: Q4037380
cites work: Compositionality in state space verification methods
DOI: 10.1006/JCSS.1999.1660
description: scientific article; zbMATH DE number 1417885