Programming distributed computing systems. A foundational approach

zbMATH Open1275.68004MaRDI QIDQ2857729FDOQ2857729

Authors: Carlos A. Varela 

Publication date: 5 November 2013

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

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)

Cited In (7)

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