scientific article; zbMATH DE number 4164155

zbMATH Open0708.68043MaRDI QIDQ3490967FDOQ3490967

Authors:

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• Nondeterministic algebraic specifications and nonconfluent term rewriting
• scientific article; zbMATH DE number 234027
• scientific article; zbMATH DE number 4092760
• scientific article; zbMATH DE number 3978366
• scientific article; zbMATH DE number 877128

zbMATH Keywords

algebraic specificationsspecification languagenon-confluent term rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)

Cited In (9)

• Title not available (Why is that?)
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• Rewriting with a nondeterministic choice operator
• Title not available (Why is that?)
• Generated models and the \(\omega\)-rule: the nondeterministic case
• Inequational deduction as term graph rewriting
• Conditional rewriting logic as a unified model of concurrency
• Title not available (Why is that?)
• Deciding observational congruence of finite-state CCS expressions by rewriting

This page was built for publication:

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