Theoretical Computer Science, Volume 138

Volume 138, Number 1, 6 February 1995

Special Issue on Hybrid Systems

Volume 138, Number 2, 20 February 1995

Selected Papers of the Meeting on the Mathematical Foundations of Programming Semantics (MFPS'92), Oxford, April 1992
Part III: Concurrency Theory
maintained by Schloss Dagstuhl LZI, founded at University of Trier