Semantics of Concurrent Computation

Semantics of Concurrent Computation 1979: Evian, France

maintained by Schloss Dagstuhl LZI at University of Trier