scientific article; zbMATH DE number 4164155

MaRDI QIDQ3490967zbMATH OpenFDO

Authors

Publication date 1989

zbMATH Keywords

algebraic specificationsnon-confluent term rewritingspecification language

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

(11)

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

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)