1.1k citations
- Data61AU39 papers
- Commonwealth Scientific and Industrial Research OrganisationAU33 papers
- Australia Telescope National FacilityAU29 papers
- Swinburne University of TechnologyAU22 papers
- Australian National UniversityAU21 papers
- The University of SydneyAU21 papers
- Centre for Quantum Computation and Communication TechnologyAU19 papers
- Australian Defence Force AcademyAU17 papers
- Centre National de la Recherche ScientifiqueFR17 papers
- The University of QueenslandAU14 papers
- Australian Research CouncilAU13 papers
- The University of MelbourneAU13 papers
4 papers · 2 filters
On Synchronous and Asynchronous Interaction in Distributed Systems
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
When considering distributed systems, it is a central issue how to deal with interactions between components. In this paper, we investigate the paradigms of synchronous and asynchr…
Symmetric and Asymmetric Asynchronous Interaction
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inher…
Branching Bisimilarity with Explicit Divergence
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definitio…
On Finite Bases for Weak Semantics: Failures versus Impossible Futures
Taolue Chen, Wan Fokkink, Rob van Glabbeek
We provide a finite basis for the (in)equational theory of the process algebra BCCS modulo the weak failures preorder and equivalence. We also give positive and negative results re…