Dealing denotationally with stream-based communication

MaRDI QIDQ2850667zbMATH OpenFDO

Authors Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

Publication date 27 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050826

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Denotational semantics of communicating sequential programs
• scientific article; zbMATH DE number 3902017
• A denotational semantics for shared-memory parallelism and nondeterminism
• A theory for nondeterminism, parallelism, communication, and concurrency
• Semantics of communicating processes

This page was built for publication: Dealing denotationally with stream-based communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2850667)