Scheduled Maintenance Notice

Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.

Select Publications

By Dr Rob van Glabbeek

Preprints

van Glabbeek R; Goltz U; Schicke J-W, 2008, Symmetric and Asymmetric Asynchronous Interaction, http://dx.doi.org/10.48550/arxiv.0901.0043

van Glabbeek R; Luttik B; Trcka N, 2008, Branching Bisimilarity with Explicit Divergence, http://dx.doi.org/10.48550/arxiv.0812.3068

Chen T; Fokkink W; van Glabbeek R, 2008, On Finite Bases for Weak Semantics: Failures versus Impossible Futures, http://dx.doi.org/10.48550/arxiv.0810.4904

Bloom B; Fokkink WJ; van Glabbeek RJ, 2002, Precongruence Formats for Decorated Trace Semantics, http://dx.doi.org/10.48550/arxiv.cs/0204039


Back to profile page

ORCID as entered in ROS

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation