Joseph C.M. Baeten, Jan W. Klop

CONCUR '90: Theories of Concurrency: Unification and Extension - 1990 - Springer Berlin Heidelberg 1990 - Lecture Notes in Computer Science .

9783540463955


Computer Science