Showing 1 - 4 results of 4 for search 'Olderog, E', query time: 0.02s
Refine Results
-
1
Specification−oriented Semantics for Communicating Processes by Olderog, E, Hoare, C
Published 1983Conference item -
2
Specification−oriented Semantics for Communicating Processes by Olderog, E, Hoare, C
Published 1986Journal article -
3
A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694 by Bowen, J, Hoare, C, Langmaack, H, Olderog, E, Ravn, A
Published 2015Record -
4
Provably Correct Systems by He, J, Hoare, C, Fränzle, M, Müller−Olm, M, Olderog, E, Schenke, M, Hansen, M, Ravn, A, Rischel, H
Published 1994Conference item