21. CONCUR 2010:
: Applications of Shellable Complexes to Distributed Computing - (Invited Talk).
: Theory by Process.
: Generic Forward and Backward Simulations II: Probabilistic Simulation.
Tim A. C. Willemse
: Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations.