M. E. Majster-Cederbaum;F. Zetzsche
Univ. Mannheim, Mannheim, Germany;Univ. Mannheim, Mannheim, Germany
How To Interpret And Establish Consistency Results For Semantics Of Concurrent Programming Languages
Fundamenta Informaticae