Concurrency, compositionality, and correctness：essays in honor of Willem-Paul De Roever

Corporate Authors: SpringerLink (Online service)
Group Author: Hannemann Ulrich.; Steffen Martin.; Dams Dennis.
Published: Springer,
Publication Dates: c2010.