Undecidable equivalences for basic process algebra
type: Item
instance of: scholarly article
title: Undecidable equivalences for basic process algebra
zbMATH Open document ID: 0834.68069
author: Jan Friso Groote
author: Hans Hüttel
published in: Information and Computation
publication date: 1995-02-16T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 710617
zbMATH Keywords: strong bisimilarity
zbMATH Keywords: normed BPA processes
zbMATH Keywords: context-free grammars
MaRDI profile type: Publication
OpenAlex ID: W2003477691
DOI: 10.1006/INCO.1994.1101
description: scientific article; zbMATH DE number 710617