A complete equational axiomatization for prefix iteration
type: Item
instance of: scholarly article
title: A complete equational axiomatization for prefix iteration
zbMATH Open document ID: 0938.68697
DOI: 10.1016/0020-0190(94)00163-4
published in: Information Processing Letters
publication date: 2000-06-21T00:00:00Z
full work available at URL: https://ir.cwi.nl/pub/2250
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 710253
author: Wan Fokkink
MaRDI profile type: Publication
OpenAlex ID: W1977683351
cites work: Q4525274
cites work: Process algebra for synchronous communication
cites work: Q4385532
cites work: Q4490742
cites work: Structured operational semantics and bisimulation as a congruence
cites work: On the Forms of the Predicates in the Theory of Constructive Ordinals
cites work: Q4023900
cites work: Q5581665
cites work: A calculus of communicating systems
cites work: A complete inference system for a class of regular behaviours
cites work: Q3907077
description: scientific article; zbMATH DE number 710253