Bisimulation from open maps
type: Item
instance of: scholarly article
title: Bisimulation from open maps
zbMATH Open document ID: 0856.68067
author: Glynn Winskel
author: André Joyal
author: Mogens Nielsen
published in: Information and Computation
publication date: 1997-02-03T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 930737
zbMATH Keywords: bisimulation
zbMATH Keywords: transition systems
MaRDI profile type: Publication
OpenAlex ID: W2039290601
DOI: 10.1006/INCO.1996.0057
description: scientific article; zbMATH DE number 930737