A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte

Browse the full ICFEM paper archive.