41 citations · 226 across the 36 of their papers we have counts for
5 papers · 1 filter
Cross-Chain Payment Protocols with Success Guarantees
Rob van Glabbeek, Vincent Gramoli, Pierre Tholoniat
In this paper, we consider the problem of cross-chain payment whereby customers of different escrows -- implemented by a bank or a blockchain smart contract -- successfully transfe…
On the Meaning of Transition System Specifications
Rob van Glabbeek
Transition System Specifications provide programming and specification languages with a semantics. They provide the meaning of a closed term as a process graph: a state in a labell…
Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence
Wan Fokkink, Rob van Glabbeek, Bas Luttik
In two earlier papers we derived congruence formats with regard to transition system specifications for weak semantics on the basis of a decomposition method for modal formulas. Th…
Reward Testing Equivalences for Processes
Rob van Glabbeek
May and must testing were introduced by De Nicola and Hennessy to define semantic equivalences on processes. May-testing equivalence exactly captures safety properties, and must-te…
A Process Algebra for Link Layer Protocols
Rob van Glabbeek, Peter Höfner, Michael Markl
We propose a process algebra for link layer protocols, featuring a unique mechanism for modelling frame collisions. We also formalise suitable liveness properties for link layer pr…