H. Ehrig;Francesco Parisi-Presicce;Paul Boehm;Catharina Rieckhoff;Cristian Dimitrovici;Martin Grosse-Rhode
Technische Univ. Berlin, Berlin, Germany;Technische Univ. Berlin, Berlin, Germany;Technische Univ. Berlin, Berlin, Germany;Technische Univ. Berlin, Berlin, Germany;Technische Univ. Berlin, Berlin, Germany;Technische Univ. Berlin, Berlin, Germany
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
How To Interpret And Establish Consistency Results For Semantics Of Concurrent Programming Languages
Fundamenta Informaticae