Trustworthy Systems

Asynchronous Communication in Distributed Systems

Activities


People

Past

Publications

To appear

Abstract PDF Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann
Abstract processes and conflicts in place/transition systems
Information and Computation

2020

Abstract PDF Rob van Glabbeek, Vincent Gramoli and Pierre Tholoniat
Feasibility of cross-chain payment with success guarantees
32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020, pp. 579-581, Virtual event, July, 2020

2019

Abstract PDF Rob van Glabbeek, Vincent Gramoli and Pierre Tholoniat
Cross-chain payment protocols with success guarantees
Technical Report, Data61, CSIRO, December, 2019
Abstract PDF Rob van Glabbeek, Ursula Goltz, Christopher Lippert and Mennicke Stephan
Stronger validity criteria for encoding synchrony
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy — Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 182-205, Paris, November, 2019
Abstract PDF Rob van Glabbeek
Ensuring liveness properties of distributed systems: Open problems
Journal of Logical and Algebraic Methods in Programming, Volume 109, pp. 1-19, August, 2019
Abstract PDF Rob van Glabbeek and Peter Hoefner
Progress, justness and fairness
ACM Computing Surveys, Volume 52, Issue 4, pp. 69:1–69:38, August, 2019
Abstract PDF Rob van Glabbeek
Justness: A completeness criterion for capturing liveness properties
Proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, pp. 505-522, Prague, Czech Republic, April, 2019

2018

Abstract PDF Rob van Glabbeek and Peter Hoefner
Progress, justness and fairness
Technical Report, Data61, CSIRO, October, 2018
Abstract PDF Rob van Glabbeek
On the validity of encodings of the synchronous in the asynchronous π-calculus
Information Processing Letters, Volume 137, pp. 17-25, September, 2018
Abstract PDF Rob van Glabbeek
Is speed-independent mutual exclusion implementable?
Proceedings of the 29th International Conference on Concurrency Theory (CONCUR), Beijing, China, September, 2018
Abstract PDF Rob van Glabbeek
A theory of encodings and expressiveness
Proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, pp. 183-202, Thessaloniki, Greece, April, 2018

2017

Abstract PDF Victor Dyseryn, Rob van Glabbeek and Peter Hoefner
Analysing mutual exclusion using process algebra with signals
Combined International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS), Berlin, August, 2017

2015

Abstract PDF Kirstin Peters and Rob van Glabbeek
Analysing and comparing encodability criteria
Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, pp. 46–60, Madrid, Spain, August, 2015
Abstract PDF Rob van Glabbeek, Ursula Goltz and Ernst-Rüdiger Olderog
Special issue on ``Combining Compositionality and Concurrency'': Part 2
Acta Informatica, pp. 303–304, Springer, 2015
Abstract PDF Rob van Glabbeek and Peter Hoefner
CCS: It's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
Acta Informatica, Volume 52, Number 2-3, pp. 175–205, April, 2015
Abstract PDF Rob van Glabbeek, Ursula Goltz and Ernst-Rüdiger Olderog
Special issue on ``Combining Compositionality and Concurrency'': Part 1
Acta Informatica, pp. 3–4, Springer, 2015

2013

Abstract PDF Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann
On characterising distributability
Logical Methods in Computer Science, Volume 9, Number 3, pp. 1–58, September, 2013

2012

Abstract PDF Rob van Glabbeek
Musings on encodings and expressiveness
Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics, pp. 81—98, Newcastle upon Tyne, United Kingdom, August, 2012
Abstract PDF Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann
On distributability of petri nets (extended abstract)
Proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, pp. 331–345, Tallinn, Estonia, March, 2012

2011

Abstract PDF Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
On causal semantics of petri nets (extended abstract)
Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR), pp. 43–59, Aachen, Germany, September, 2011
Abstract PDF Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
Abstract processes of place/transition systems
Information Processing Letters, Volume 111, Number 13, pp. 626–633, July, 2011

2009

Abstract PDF Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
Symmetric and asymmetric asynchronous interaction
Electronic Notes in Theoretical Computer Science, Volume 229, Number 3, pp. 77–95, July, 2009

2008

Abstract PDF Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
On synchronous and asynchronous interaction in distributed systems
33nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), pp. 16–35, Torun, Poland, August, 2008
Abstract PDF Rob van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke
Symmetric and asymmetric asynchronous interaction
First Interaction and Concurrency Experience (ICE'08): Synchronous and Asynchronous Interactions in Concurrent Distributed Systems, pp. 5–22, Reykjavik, Iceland, July, 2008
Best student/young researcher paper.