Heap-abstraction for an object-oriented calculus with thread classes

✍ Scribed by Erika Ábrahám; Andreas Grüner; Martin Steffen

• Publisher: Springer-Verlag
• Year: 2007
• Tongue: English
• Weight: 691 KB
• Volume: 7
• Category: Article
• ISSN: 1619-1366
• DOI: 10.1007/s10270-007-0065-9