Eiichi Horita
-
How To Interpret And Establish Consistency Results For Semantics Of Concurrent Programming Languages
Fundamenta Informaticae