Combining programs and state machines
type: Item
instance of: scholarly article
title: Combining programs and state machines
zbMATH Open document ID: 1008.68068
DOI: 10.1016/S1567-8326(02)00020-6
author: Alban Ponse
author: J. A. Bergstra
published in: The Journal of Logic and Algebraic Programming
publication date: 2003-02-13T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1868269
zbMATH Keywords: program algebra
zbMATH Keywords: state machine
zbMATH Keywords: abstract data type
MaRDI profile type: Publication
cites work: What is an abstract datatype?
cites work: Q3340122
cites work: Program algebra for component code
cites work: Program algebra for sequential code
cites work: Kleene's three-valued logic and process algebra
cites work: Process algebra and conditional composition
cites work: Q4321288
cites work: Laws of programming
full work available at URL: s1567-8326(02)00020-6
OpenAlex ID: W2114247177
description: scientific article; zbMATH DE number 1868269