This volume is based on the workshop "Unifying Theory and Practice in Distributed Systems" held in Schlo Dagstuhl, Germany in September 1994.
During the past 20 years, a substantial theoretical and practical base has evolved in the area of distributed computing. However, this work has been done by largely disjoint communities of researchers; this workshop brought together established experts from both worlds. The volume contains 17 full papers...