41 citations · 226 across the 36 of their papers we have counts for
36 papers
Stronger Validity Criteria for Encoding Synchrony
Rob van Glabbeek, Ursula Goltz, Christopher Lippert +1
We analyse two translations from the synchronous into the asynchronous -calculus, both without choice, that are often quoted as standard examples of valid encodings, showing tha…
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
Rob van Glabbeek, Jan Friso Groote, Erik de Vink
This paper proposes a notion of branching bisimilarity for non-deterministic probabilistic processes. In order to characterize the corresponding notion of rooted branching probabil…
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Rob van Glabbeek, Peter Höfner, Ross Horne
We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix a minimal session cal…
Abstract Processes and Conflicts in Place/Transition Systems
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
For one-safe Petri nets or condition/event-systems, a process as defined by Carl Adam Petri provides a notion of a run of a system where causal dependencies are reflected in terms…
On Causal Semantics of Petri Nets
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
We consider approaches for causal semantics of Petri nets, explicitly representing dependencies between transition occurrences. For one-safe nets or condition/event-systems, the no…
Feasibility of Cross-Chain Payment with Success Guarantees
Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
We consider the problem of cross-chain payment whereby customers of different escrows---implemented by a bank or a blockchain smart contract---successfully transfer digital assets…