Searching for "Specifications of Distributed Programs." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli
- … [1] for proving refinement between specifications of distributed programs correct, the inherent…
- Cited by 4 (1 self) – Add To MetaCart
-
Unreliable Failure Detectors
- … have been identified as each being the weakest to solve some specific distributed programming problem…
- Add To MetaCart
-
Object-Oriented Distributed Programming in BETA
- … the full generality of a powerful programming language is that fewer distribution specific language…
- Cited by 10 (1 self) – Add To MetaCart
-
Efficient Decentralized Monitoring of Safety in Distributed Systems
- …,vardhan,agha,grosu}@(email omitted); Abstract We describe an efcient decentralized monitoring algorithm that monitors a distributed program…
- Cited by 13 (3 self) – Add To MetaCart
-
Paradigms for process interaction in distributed programs
- … and Bal et al. [1989] for a survey of specific distributed programming languages. These programming…
- Cited by 104 (0 self) – Add To MetaCart
-
A Hierarchical Method for Reasoning about Distributed Programming Languages
- … distributed programming languages in general and how to define them in HOL. The specification of micro…
- Cited by 4 (1 self) – Add To MetaCart
-
Implementation and Evaluation of an Eventually-Serializable Data Service
- … the abstract algorithm to a design specification for a distributed program. To our knowledge, no general method…
- Cited by 12 (3 self) – Add To MetaCart
-
Modules, Objects and Distributed Programming: Issues in RPC and Remote Object Invocation
- … and remote object invocation. Secondly, we present two specific distributed programming systems and show…
- Cited by 8 (1 self) – Add To MetaCart
-
Mirrors: design principles for meta-level facilities of object-oriented programming languages
- … is specific to distributed programming. Our application should be able to deal with network failures…
- Cited by 30 (2 self) – Add To MetaCart
-
Dynamic Typing for Distributed Programming in Polymorphic Languages
- …. As demonstrated by programming languages and operating systems designed specifically for distributed programming…
- Cited by 21 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
