scientific article; zbMATH DE number 1487470

MaRDI QIDQ4493873zbMATH OpenFDO

Authors Tony Hoare

Publication date 18 December 2001

zbMATH Keywords

CCSCSPdenotational semanticspi calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Composition programming and functional programming: A comparative analysis
• Implementations of the CSP Notation for Concurrent Systems
• Insight, inspiration and collaboration
• scientific article; zbMATH DE number 1860677
• Theories of programming. The life and works of Tony Hoare

Cited in

(6)

• Composition programming and functional programming: A comparative analysis
• From algebra to operational semantics
• Unifying lazy and strict computations
• Insight, inspiration and collaboration
• scientific article; zbMATH DE number 2087601 (Why is no real title available?)
• Confluence: the unifying, expressive power of locality

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