Michael W. Mislove;Frank J. Oles
-;-
How To Interpret And Establish Consistency Results For Semantics Of Concurrent Programming Languages
Fundamenta Informaticae