scientific article; zbMATH DE number 35422

MaRDI QIDQ3989946zbMATH OpenFDO

Authors Tie-Jun Gao, Chiharu Hosono, Kenjirou Yamanaka

Publication date 28 June 1992

zbMATH Keywords

compositional principlenu-act

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Communicating Sequential Processes. The First 25 Years
• Denotational semantics of CSP
• scientific article; zbMATH DE number 3890704
• Symbolic analysis tools for CSP
• CSP and Kripke Structures
• A tracking semantics for CSP
• On the expressive power of CSP refinement
• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
• scientific article; zbMATH DE number 1314225
• From CSP to game semantics

Cited in

(6)

• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
• CSP and Kripke Structures
• scientific article; zbMATH DE number 3890704 (Why is no real title available?)
• scientific article; zbMATH DE number 3911719 (Why is no real title available?)
• A semantics for behavior trees using CSP with specification commands
• Denotational semantics of CSP

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