Correctness and Parallelism of Composite Systems.

Gustavo Alonso, Stephen Blott, Armin Fessler, Hans-Jrg Schek

Browse the full PODS paper archive.