Peter M. Musial

发表

Reliability Properties of Models for Flexible Design and Run-Time Analysis

Luqi, Valdis Berzins, Peter M. Musial, 2006, Monterey Workshop.

Developing a Consistent Domain-Oriented Distributed Object Service

Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, 2009, IEEE Transactions on Parallel and Distributed Systems.

Operation Liveness and Gossip Management in a Dynamic Distributed Atomic Data Service

Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman, 2005, PDCS.

Reconfigurable distributed storage for dynamic networks

Vincent Gramoli, Peter M. Musial, Seth Gilbert, 2009, J. Parallel Distributed Comput..

Reconfigurable Distributed Storage for Dynamic Networks

Vincent Gramoli, Peter M. Musial, Seth Gilbert, 2005, OPODIS.

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

Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, 2007, PODC '07.

Asserting Parallel Computational Thinking into an Undergraduate Computer Science Curriculum

Peter M. Musial, Rafael A. Arce-Nazario, Edusmildo Orozco, 2011 .

Implementing Atomic Data through Indirect Learning in Dynamic Networks

Kishori M. Konwar, Peter M. Musial, Nicolas C. Nicolaou, 2007, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007).

Using Timed Input / Output Automata for Implementing Distributed Systems

Peter M. Musial, 2012 .

Tempo-Toolkit: Tempo to Java Translation Module

Chryssis Georgiou, Peter M. Musial, Christos Ploutarchou, 2013, 2013 IEEE 12th International Symposium on Network Computing and Applications.

Long-Lived Rambo: Trading Knowledge for Communication

Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, 2004, SIROCCO.

Implementing distributed shared memory for dynamic networks

Peter M. Musial, Nicolas C. Nicolaou, Alexander A. Shvartsman, 2014, CACM.

From Formal Methods to Executable Code

Peter M. Musial, 2012 .

Implementing a reconfigurable atomic memory service for dynamic networks

Peter M. Musial, Alexander A. Shvartsman, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

Spontaneous, Self-Sampling Quorum Systems for Ad Hoc Networks

Kishori M. Konwar, Peter M. Musial, Alexander A. Shvartsman, 2008, 2008 International Symposium on Parallel and Distributed Computing.

Evaluating a Dependable Sharable Atomic Data Service on a Planetary-Scale Network

Chryssis Georgiou, Peter M. Musial, Nikolas Hadjiprocopiou, 2009, ICA3PP.

Formal Reasoning about Software Object Translations

Luqi, Valdis Berzins, Peter M. Musial, 2008, Monterey Workshop.

On the Automated Implementation of Time-Based Paxos Using the IOA Compiler

Chryssis Georgiou, Peter M. Musial, Procopis Hadjiprocopiou, 2010, OPODIS.

On the Efficiency of Atomic Multi-reader, Multi-writer Distributed Memory

Chryssis Georgiou, Peter M. Musial, Nicolas C. Nicolaou, 2009, OPODIS.

Developing a Consistent Domain-Oriented Distributed Object Service

Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, 2009, IEEE Trans. Parallel Distributed Syst..

Explicit Combinatorial Structures for Cooperative Distributed Algorithms

Dariusz R. Kowalski, Peter M. Musial, Alexander A. Shvartsman, 2005, 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05).

A coded shared atomic memory algorithm for message passing architectures

Nancy A. Lynch, Muriel Médard, Peter M. Musial, 2014, 2014 IEEE 13th International Symposium on Network Computing and Applications.

From high level specification to executable code: Specification, refinement, and implementation of a survivable and consistent data service for dynamic networks

Peter M. Musial, 2006 .

Long-lived Rambo: Trading knowledge for communication

Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, 2007, Theor. Comput. Sci..

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets

Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, 2008, 2008 Seventh IEEE International Symposium on Network Computing and Applications.