Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel

Seminar on Concurrency - 1985 - Springer Berlin Heidelberg 1985 - Lecture Notes in Computer Science .

9783540395935


Computer Science