scientific article; zbMATH DE number 4210119

MaRDI QIDQ3358717zbMATH OpenFDO

Authors Michael R. Hansen, Chaochen Zhou

Publication date 1990

zbMATH Keywords

communication of processesCSPhigher-order systemspropositional temporal logicspecification

Mathematics Subject Classification ID

Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Reasoning about higher-order processes
• Higher-order processes and their models
• scientific article; zbMATH DE number 4018375
• A theory of higher order communicating systems
• Process algebras as specification language (work in progress)

Cited in

(8)

• Higher-order communications for concurrent programming
• A logical process calculus
• scientific article; zbMATH DE number 3963182 (Why is no real title available?)
• scientific article; zbMATH DE number 139998 (Why is no real title available?)
• Higher-order processes and their models
• Higher-order equational logic for specification, simulation and testing
• scientific article; zbMATH DE number 2087637 (Why is no real title available?)
• Reasoning about higher-order processes

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