DMCA

A thread algebra with multi-level strategic interleaving (2005)

by J. A. Bergstra , C. A. Middelburg
Venue:Fundamenta Informaticae
Citations:36 - 33 self