Add to ORKGThe purpose is the development and implementation of language means of specifying the behaviour of distributed programs. Methods of specification and verification of the behaviour of the distributed programs have been suggested; the language means of the specification have been developed with the help of the above methods. The field of application is the instrumental means used for creating reliable distributed software meansAvailable from VNTIC / VNTIC - Scientific & Technical Information Centre of RussiaSIGLERURussian Federatio
Although the technology exists to build networks of computers providing a wide range of capabilities...
A method for automated analysis of fault-tolerance of distributed systems is presented. It is based...
This paper describes language constructs and system support functions intended to facilitate the pro...
© Ivan Kuraj and Armando Solar-Lezama; licensed under Creative Commons License CC-BY. While sequenti...
International audienceThe verification of distributed algorithms is a challenge for formal technique...
This book provides an introduction to distributed programming abstractions and presents the fundamen...
International audienceFormal proofs of distributed algorithms are long, hard and tedious. We propose...
International audienceFormal proofs of distributed algorithms are long, hard and tedious. We propose...
The new edition of a guide to distributed algorithms that emphasizes examples and exercises rather t...
The new edition of a guide to distributed algorithms that emphasizes examples and exercises rather t...
A technique for solving synchronization problems in distributed programs is described. Use of this ...
AbstractThe safe decomposition of a distributed program into communication closed layers is suggeste...
This paper presents distributed informatics applications and characteristics of their development cy...
Network and distributed systems typically consist of a large number of actors that act and interact ...
A distributed computation describes the execution of a distributed program by a collection of severa...
Although the technology exists to build networks of computers providing a wide range of capabilities...
A method for automated analysis of fault-tolerance of distributed systems is presented. It is based...
This paper describes language constructs and system support functions intended to facilitate the pro...
© Ivan Kuraj and Armando Solar-Lezama; licensed under Creative Commons License CC-BY. While sequenti...
International audienceThe verification of distributed algorithms is a challenge for formal technique...
This book provides an introduction to distributed programming abstractions and presents the fundamen...
International audienceFormal proofs of distributed algorithms are long, hard and tedious. We propose...
International audienceFormal proofs of distributed algorithms are long, hard and tedious. We propose...
The new edition of a guide to distributed algorithms that emphasizes examples and exercises rather t...
The new edition of a guide to distributed algorithms that emphasizes examples and exercises rather t...
A technique for solving synchronization problems in distributed programs is described. Use of this ...
AbstractThe safe decomposition of a distributed program into communication closed layers is suggeste...
This paper presents distributed informatics applications and characteristics of their development cy...
Network and distributed systems typically consist of a large number of actors that act and interact ...
A distributed computation describes the execution of a distributed program by a collection of severa...
Although the technology exists to build networks of computers providing a wide range of capabilities...
A method for automated analysis of fault-tolerance of distributed systems is presented. It is based...
This paper describes language constructs and system support functions intended to facilitate the pro...