Restructuring Symbolic Programs for Concurrent Execution on Multiprocessors. UC Berkeley Computer Science (May 1989). and won Henke 85] D. Luckham and F.W. von Henke. An Overview of Anna, a Speci cation Language for Ada (1985)

by J R Larus
Venue:IEEE Software