Linking CSP-OZ with UML and Java: A Case Study.

Michael Mller, Ernst-Rdiger Olderog, Holger Rasch, Heike Wehrheim

Browse the full IFM paper archive.