Partial correctness semantics for Ada tasks (spawning and fragmentation)
Program
Fulbright Visiting Scholar Program
Program Country
Grant Activity Type
Lecturer, Research
Discipline
Host Institutions
Institution
Faculty
Professor David Luckham