Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.

Erika brahm, Andreas Grner, Martin Steffen

Browse the full CiE paper archive.