Logical Aspects of Massively Parallel and Distributed Systems.

Frank Neven

Browse the full PODS paper archive.