Programming distributed computing systems. A foundational approach

MaRDI QIDQ2857729zbMATH OpenFDO

Authors Carlos A. Varela

Publication date 5 November 2013

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1179121
• Distributed programming. Theory and practice.
• Distributed Computing
• Distributed systems. An algorithmic approach
• scientific article; zbMATH DE number 47171

Cited in

(7)

• Processes against tests: on defining contextual equivalences
• Behavioural semantics for asynchronous components
• Introduction to Reliable and Secure Distributed Programming
• A programming model and foundation for lineage-based distributed computation
• Programming for Distributed Computing: From Physical to Logical Networks
• Theory of structured parallel programming
• Processes, systems \& tests: defining contextual equivalences

This page was built for publication: Programming distributed computing systems. A foundational approach

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