Characteristic formulae for processes with divergence
type: Item
instance of: scholarly article
title: Characteristic formulae for processes with divergence
zbMATH Open document ID: 0804.68097
author: Bernhard Steffen
author: Anna Ingolfsdottir
published in: Information and Computation
publication date: 1994-05-05T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 563076
zbMATH Keywords: transition systems
zbMATH Keywords: divergence information
zbMATH Keywords: Hennessy-Milner logic
zbMATH Keywords: bisimulation
zbMATH Keywords: mutual recursion
zbMATH Keywords: model checking
MaRDI profile type: Publication
full work available at URL: inco.1994.1028
OpenAlex ID: W2025280888
DOI: 10.1006/INCO.1994.1028
description: scientific article; zbMATH DE number 563076