Divergenceleast semantics of amb is Hoare (2005)

by Soren B. Lassen , Paul Blain Levy , Prakash Panangaden
Venue:Short presentation at the APPSEM II workshop, Frauenchiemsee
Citations:1 - 0 self