Rob van Glabbeek

Search results

• 2021

  CONCUR Test-Of-Time Award 2021

  Bertrand, N., Alfaro, L. D., van Glabbeek, R., Palamidessi, C. & Yoshida, N., 13 Aug 2021, p. 1:1-1:3. 3 p.

  Research output: Contribution to conference › Other

  Open Access

  File
• 1988

  Combining Compositionality and Concurrency, Summary of a GMD-Workshop, Königswinter, March 1988

  Olderog, E-R., Goltz, U. & van Glabbeek, R. J., Mar 1988.

  Research output: Contribution to conference › Other › peer-review