Deciding bisimulation equivalences for a class of non-finite-state programs
type: Item
instance of: scholarly article
title: Deciding bisimulation equivalences for a class of non-finite-state programs
zbMATH Open document ID: 0799.68133
author: Bengt Jonsson
author: Joachim Parrow
published in: Information and Computation
publication date: 1994-03-24T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 529882
zbMATH Keywords: automatic program verification
zbMATH Keywords: infinite-state programs
zbMATH Keywords: strong equivalence
zbMATH Keywords: observation equivalence
zbMATH Keywords: bisimulations
zbMATH Keywords: NP-hard
MaRDI profile type: Publication
OpenAlex ID: W1997387389
DOI: 10.1006/INCO.1993.1069
description: scientific article; zbMATH DE number 529882