Distributed programming. Theory and practice.

DOI10.1007/978-1-4614-4881-5MaRDI QIDQ2907557zbMATH OpenOpenAlexFDO

Authors A. Udaya Shankar

Publication date 10 September 2012

Full work available at URL https://doi.org/10.1007/978-1-4614-4881-5

zbMATH Keywords

distributed systemparallel computingprogram correctness

Mathematics Subject Classification ID

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

Recommendations

• Practical distributed processing.
• scientific article; zbMATH DE number 47171
• Introduction to Reliable Distributed Programming
• scientific article; zbMATH DE number 778885
• Distributed Computing

Cited in

(14)

• Distributed systems. Methods and tools for specification. An advanced course (Munich, April 3-12, 1984)
• Software engineering for distributed applications. Mechanics and tools
• A formal approach to the engineering of domain-specific distributed systems
• DD-mod: A library for distributed programming
• Programming distributed computing systems. A foundational approach
• Introduction to Reliable and Secure Distributed Programming
• scientific article; zbMATH DE number 1820085 (Why is no real title available?)
• Autonomics development: A domain-specific aspect language approach
• scientific article; zbMATH DE number 778885 (Why is no real title available?)
• scientific article; zbMATH DE number 839543 (Why is no real title available?)
• Introduction to Reliable Distributed Programming
• Programming for Distributed Computing: From Physical to Logical Networks
• Distributed systems. An algorithmic approach
• Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude

This page was built for publication: Distributed programming. Theory and practice.

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