Erratum to ``On the expressiveness of higher dimensional automata''
type: Item
instance of: scholarly article
title: Erratum to ``On the expressiveness of higher dimensional automata''
zbMATH Open document ID: 1171.68582
published in: Theoretical Computer Science
publication date: 2007-01-22T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5117658
zbMATH Keywords: Concurrency
zbMATH Keywords: expressiveness
zbMATH Keywords: causality
zbMATH Keywords: higher dimensional automata
zbMATH Keywords: Petri nets
zbMATH Keywords: event structures
zbMATH Keywords: history preserving bisimulation
zbMATH Keywords: ST-bisimulation
author: Rob van Glabbeek
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.06.024
OpenAlex ID: W2331587071
DOI: 10.1016/J.TCS.2006.06.024
description: scientific article; zbMATH DE number 5117658