Using the causal domain to specify and verify distributed programs Vijay K. GargAlexander I. Tomlinson Pages: 667 - 686
An analysis and implementation of an efficient in-place bucket sort Apostolos BurnetasDaniel SolowRishi Agarwal Pages: 687 - 700
Metric semantics from partial order semantics Christel BaierMila E. Majster-Cederbaum Pages: 701 - 735