A rewriting strategy to verify observational congruence
type: Item
instance of: scholarly article
title: A rewriting strategy to verify observational congruence
zbMATH Open document ID: 0702.68074
DOI: 10.1016/0020-0190(90)90023-Q
author: P. Inverardi
author: Monica Nesi
published in: Information Processing Letters
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03D03
zbMATH DE Number: 4151839
zbMATH Keywords: specification language
zbMATH Keywords: concurrency
zbMATH Keywords: divergence
zbMATH Keywords: normal form
zbMATH Keywords: behavioural equivalences
zbMATH Keywords: term rewriting system
zbMATH Keywords: completion
describes a project that uses: REVE
MaRDI profile type: Publication
cites work: Completion for rewriting modulo a congruence
cites work: Termination orderings for associative-commutative rewriting systems
cites work: Q3814799
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Completion of a Set of Rules Modulo a Set of Equations
cites work: Q3805889
cites work: A calculus of communicating systems
cites work: Q3750114
cites work: Complete Sets of Reductions for Some Equational Theories
full work available at URL: 0020-0190(90)90023-q
OpenAlex ID: W2021553745
description: scientific article; zbMATH DE number 4151839