Concurrency, Compositionality, and Correctness [E-Book] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.
Dams, Dennis
Hannemann, Ulrich / Steffen, Martin
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
online resource
9783642115127
Lecture Notes in Computer Science ; 5930
Full Text
Description not available.