Browsing by Author "Musiał, Peter M."

Conference Object

An abstract channel specification and an algorithm implementing it using Java sockets

Georgiou, Chryssis; Shvartsman, A. A.; Musiał, Peter M.; Sonderegger, E. L. (2008)

Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...

Conference Object

Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP

Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A.; Sonderegger, E. L. (2007)

Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...

Article

Developing a consistent domain-oriented distributed object service

Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2009)

This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is ...

Conference Object

Developing a consistent domain-oriented distributed object service

Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2005)

This paper presents a new algorithm for a reconfigurable distributed domain-oriented atomic object service, called DO-RAMBO, which stands for Domain-Oriented Reconfigurable Atomic Memory for Basic Objects. This service is ...

Article

Evaluating a dependable sharable atomic data service on a planetary-scale network

Georgiou, Chryssis; Hadjiprocopiou, N.; Musiał, Peter M. (2009)

Practical implementations of atomically consistent read/write memory service are important building blocks for higher level applications. This is especially true when data accessibility and survivability are provided by a ...

Article

Long-lived Rambo: Trading knowledge for communication

Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2007)

Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with efficiency in practical algorithms is difficult. ...

Article

Long-lived Rambo: Trading knowledge for communication

Georgiou, Chryssis; Musiał, Peter M.; Shvartsman, A. A. (2004)

Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with efficiency in practical algorithms is difficult. ...

Article

On the automated implementation of time-based Paxos using the IOA compiler

Georgiou, Chryssis; Hadjiprocopiou, Procopis; Musiał, Peter M. (2010)

Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been successfully used in the industry (eg., ...

Article

On the efficiency of atomic multi-reader, multi-writer distributed memory

Englert, B.; Georgiou, Chryssis; Musiał, Peter M.; Nicolaou, Nicolas C.; Shvartsman, A. A. (2009)

This paper considers quorum-replicated, multi-writer, multi-reader (MWMR) implementations of survivable atomic registers in a distributed message-passing system with processors prone to failures. Previous implementations ...

Conference Object

Tempo-toolkit: Tempo to java translation module

Georgiou, Chryssis; Musiał, Peter M.; Ploutarchou, Christos (2013)

TIOA is a formal language for modeling distributed, concurrent, and timed/untimed systems as collections of interacting state machines, called Timed Input/Output Automata. TIOA provide natural mathematical notations for ...