Theoretical Computer Science, Volume 138

Refine list

showing all ?? records

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
a service of  Schloss Dagstuhl - Leibniz Center for Informatics