Proving congruence of bisimulation in functional programming languages
type: Item
instance of: scholarly article
title: Proving congruence of bisimulation in functional programming languages
zbMATH Open document ID: 0853.68073
author: Douglas J. Howe
published in: Information and Computation
publication date: 1996-07-03T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 896625
zbMATH Keywords: bisimulation
zbMATH Keywords: functional programming languages
MaRDI profile type: Publication
OpenAlex ID: W2092367588
DOI: 10.1006/INCO.1996.0008
description: scientific article; zbMATH DE number 896625