Gérard Boudol;Ilaria Castellani
-;-
How To Interpret And Establish Consistency Results For Semantics Of Concurrent Programming Languages
Fundamenta Informaticae