Rewriting with a nondeterministic choice operator

DOI10.1016/0304-3975(86)90005-8MaRDI QIDQ1096383zbMATH OpenOpenAlexFDO

Authors Stéphane Kaplan

Publication date 1988

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(86)90005-8

zbMATH Keywords

confluenceterm rewriting systemsalgebraic specificationsbounded nondeterministic choice operatorequational rewritingtoy concurrent language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3978366
• scientific article; zbMATH DE number 2043547
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• Publication:3490967
• scientific article; zbMATH DE number 1231656
• A higher-order implementation of rewriting
• scientific article; zbMATH DE number 6678680
• Term orderings for non-reachability of (conditional) rewriting
• Rewrite strategies in the rewriting calculus

Cites work

• scientific article; zbMATH DE number 4016226 (Why is no real title available?)
• scientific article; zbMATH DE number 3881875 (Why is no real title available?)
• scientific article; zbMATH DE number 3870639 (Why is no real title available?)
• scientific article; zbMATH DE number 3871334 (Why is no real title available?)
• scientific article; zbMATH DE number 3817027 (Why is no real title available?)
• scientific article; zbMATH DE number 3825182 (Why is no real title available?)
• scientific article; zbMATH DE number 3921957 (Why is no real title available?)
• scientific article; zbMATH DE number 3921958 (Why is no real title available?)
• scientific article; zbMATH DE number 3921960 (Why is no real title available?)
• scientific article; zbMATH DE number 3921985 (Why is no real title available?)
• scientific article; zbMATH DE number 3921987 (Why is no real title available?)
• scientific article; zbMATH DE number 3952003 (Why is no real title available?)
• scientific article; zbMATH DE number 3978366 (Why is no real title available?)
• scientific article; zbMATH DE number 4041239 (Why is no real title available?)
• scientific article; zbMATH DE number 3684925 (Why is no real title available?)
• scientific article; zbMATH DE number 3694561 (Why is no real title available?)
• scientific article; zbMATH DE number 3702108 (Why is no real title available?)
• scientific article; zbMATH DE number 3723898 (Why is no real title available?)
• scientific article; zbMATH DE number 3765109 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 3894457 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• A calculus of communicating systems
• Algebra of communicating processes with abstraction
• Automatic proofs by induction in theories without constructors
• Communicating sequential processes
• Complete Sets of Reductions for Some Equational Theories
• Initial Algebra Semantics and Continuous Algebras
• REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies
• Ten years of Hoare's logic: A survey. II: Nondeterminism

Cited in

(1)

• Generated models and the \(\omega\)-rule: the nondeterministic case

Describes a project that uses

Uses Software

• REVE

This page was built for publication: Rewriting with a nondeterministic choice operator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1096383)