On Characterising Distributability
van Glabbeek, Rob J., Goltz, Ursula, Schicke-Uffmann, Jens-Wolfhard
Published in Logical methods in computer science (17.09.2013)
Published in Logical methods in computer science (17.09.2013)
Get full text
Journal Article
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Glabbeek, Rob van, Hofner, Peter, Horne, Ross
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Analysing and Comparing Encodability Criteria
Peters, Kirstin, van Glabbeek, Rob
Published in Electronic proceedings in theoretical computer science (26.08.2015)
Published in Electronic proceedings in theoretical computer science (26.08.2015)
Get full text
Journal Article
Analysing Mutual Exclusion using Process Algebra with Signals
Dyseryn, Victor, van Glabbeek, Rob, Höfner, Peter
Published in Electronic proceedings in theoretical computer science (31.08.2017)
Published in Electronic proceedings in theoretical computer science (31.08.2017)
Get full text
Journal Article
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
Rob van Glabbeek, Bas Luttik, Linda Spaninks
Published in Logical methods in computer science (01.01.2020)
Published in Logical methods in computer science (01.01.2020)
Get full text
Journal Article
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
van Glabbeek, Rob, Höfner, Peter
Published in Electronic proceedings in theoretical computer science (15.03.2017)
Published in Electronic proceedings in theoretical computer science (15.03.2017)
Get full text
Journal Article
Abstract processes of place/transition systems
van Glabbeek, Rob J., Goltz, Ursula, Schicke, Jens-Wolfhard
Published in Information processing letters (01.07.2011)
Published in Information processing letters (01.07.2011)
Get full text
Journal Article
On the Axiomatizability of Impossible Futures
Chen, Taolue, Fokkink, Wan, van Glabbeek, Rob
Published in Logical methods in computer science (22.09.2015)
Published in Logical methods in computer science (22.09.2015)
Get full text
Journal Article
Characterising Testing Preorders for Finite Probabilistic Processes
Deng, Yuxin, van Glabbeek, Robert, Hennessy, Matthew, Morgan, Carroll
Published in Logical methods in computer science (28.10.2008)
Published in Logical methods in computer science (28.10.2008)
Get full text
Journal Article
Special issue on “Combining Compositionality and Concurrency”: part 2
van Glabbeek, Rob J., Goltz, Ursula, Olderog, Ernst-Rüdiger
Published in Acta informatica (01.06.2015)
Published in Acta informatica (01.06.2015)
Get full text
Journal Article
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs
Get full text
Paper
Journal Article
Special issue on “Combining Compositionality and Concurrency”: part 1
van Glabbeek, Rob J., Goltz, Ursula, Olderog, Ernst-Rüdiger
Published in Acta informatica (01.02.2015)
Published in Acta informatica (01.02.2015)
Get full text
Journal Article