scientific article; zbMATH DE number 64019

MaRDI QIDQ4013244zbMATH OpenFDO

Authors G. J. Akkerman, Jos C. M. Baeten

Publication date 27 September 1992

zbMATH Keywords

communicating concurrent systemsprocess algebraterm algebra

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebra of communicating processes with abstraction
• Conditional rewriting logic: Deduction, models and concurrency
• scientific article; zbMATH DE number 4033050
• scientific article; zbMATH DE number 1368955
• scientific article; zbMATH DE number 177826

Cited in

(8)

• Algebra of communicating processes with abstraction
• A general conservative extension theorem in process algebras with inequalities
• An account of implementing applicative term rewriting
• scientific article; zbMATH DE number 4033050 (Why is no real title available?)
• scientific article; zbMATH DE number 4128408 (Why is no real title available?)
• scientific article; zbMATH DE number 1479627 (Why is no real title available?)
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)
• A proof assistant for PSF

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 Q4013244)