A coinduction principle for recursive data types based on bisimulation
type: Item
instance of: scholarly article
title: A coinduction principle for recursive data types based on bisimulation
zbMATH Open document ID: 0868.68054
author: Marcelo P. Fiore
published in: Information and Computation
publication date: 1997-08-17T00:00:00Z
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 930738
zbMATH Keywords: bisimulation
zbMATH Keywords: concurrency theory
zbMATH Keywords: bisimulations
MaRDI profile type: Publication
full work available at URL: inco.1996.0058
OpenAlex ID: W2156829867
DOI: 10.1006/INCO.1996.0058
description: scientific article; zbMATH DE number 930738