On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
type: Item
instance of: scholarly article
title: On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
zbMATH Open document ID: 0285.68010
DOI: 10.1016/S0022-0000(74)80028-0
author: Joseph Goguen
published in: Journal of Computer and System Sciences
publication date: 1974-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 3448069
MaRDI profile type: Publication
cites work: Q5584402
cites work: Q5590815
cites work: Q5632124
cites work: Q5639839
cites work: Q5636307
cites work: Q4061930
full work available at URL: s0022-0000(74)80028-0
OpenAlex ID: W2058059746
description: scientific article; zbMATH DE number 3448069