scientific article; zbMATH DE number 4164155

MaRDI QIDQ3490967zbMATH OpenFDO

Authors

Publication date 1989

zbMATH Keywords

algebraic specificationsspecification languagenon-confluent term rewriting

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Conditional rewriting logic as a unified model of concurrency
• Nondeterministic algebraic specifications and nonconfluent term rewriting
• scientific article; zbMATH DE number 4016179 (Why is no real title available?)
• scientific article; zbMATH DE number 3978366 (Why is no real title available?)
• Deciding observational congruence of finite-state CCS expressions by rewriting
• scientific article; zbMATH DE number 234027 (Why is no real title available?)
• Generated models and the \(\omega\)-rule: the nondeterministic case
• Rewriting with a nondeterministic choice operator
• Inequational deduction as term graph 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)