How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1997-29302