A Cancellation Law for Probabilistic Processes
van Glabbeek, Rob, Groote, Jan Friso, de Vink, Erik
Published in Electronic proceedings in theoretical computer science (14.09.2023)
Published in Electronic proceedings in theoretical computer science (14.09.2023)
Get full text
Journal Article
Abstract processes in the absence of conflicts in general place/transition systems
van Glabbeek, Rob, Goltz, Ursula, Schicke-Uffmann, Jens-Wolfhard
Published in Information and computation (01.11.2022)
Published in Information and computation (01.11.2022)
Get full text
Journal Article
Abstract processes and conflicts in place/transition systems
van Glabbeek, Rob, Goltz, Ursula, Schicke-Uffmann, Jens-Wolfhard
Published in Information and computation (01.12.2021)
Published in Information and computation (01.12.2021)
Get full text
Journal Article
Modelling and verifying the AODV routing protocol
van Glabbeek, Rob, Höfner, Peter, Portmann, Marius, Tan, Wee Lum
Published in Distributed computing (01.08.2016)
Published in Distributed computing (01.08.2016)
Get full text
Journal Article
Divide and Congruence II: Delay and Weak Bisimilarity
Fokkink, Wan, van Glabbeek, Rob
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops
Get full text
Paper
Journal Article
Proceedings Workshop on Models for Formal Analysis of Real Systems
Get full text
Paper
Journal Article
Formalising the Optimised Link State Routing Protocol
Barry, Ryan, van Glabbeek, Rob, Höfner, Peter
Published in Electronic proceedings in theoretical computer science (26.04.2020)
Published in Electronic proceedings in theoretical computer science (26.04.2020)
Get full text
Journal Article
A Rigorous Analysis of AODV and its Variants
Höfner, Peter, Rob van Glabbeek, Wee Lum Tan, Portmann, Marius, McIver, Annabelle, Fehnker, Ansgar
Published in arXiv.org (30.12.2015)
Published in arXiv.org (30.12.2015)
Get full text
Paper
Journal Article
Shoggoth: A Formal Foundation for Strategic Rewriting
Qin, Xueying, O’Connor, Liam, van Glabbeek, Rob, Höfner, Peter, Kammar, Ohad, Steuwer, Michel
Published in Proceedings of ACM on programming languages (05.01.2024)
Published in Proceedings of ACM on programming languages (05.01.2024)
Get full text
Journal Article
Automated Analysis of AODV using UPPAAL
Fehnker, Ansgar, Rob van Glabbeek, Höfner, Peter, McIver, Annabelle, Portmann, Marius, Wee Lum Tan
Published in arXiv.org (23.12.2015)
Published in arXiv.org (23.12.2015)
Get full text
Paper
Journal Article
A Process Algebra for Wireless Mesh Networks
Fehnker, Ansgar, Rob van Glabbeek, Höfner, Peter, McIver, Annabelle, Portmann, Marius, Wee Lum Tan
Published in arXiv.org (23.12.2015)
Published in arXiv.org (23.12.2015)
Get full text
Paper
Journal Article
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity
Fokkink, Wan, van Glabbeek, Rob, de Wind, Paulien
Published in Information and computation (01.05.2012)
Published in Information and computation (01.05.2012)
Get full text
Journal Article
Real-reward testing for probabilistic processes
Deng, Yuxin, van Glabbeek, Rob, Hennessy, Matthew, Morgan, Carroll
Published in Theoretical computer science (12.06.2014)
Published in Theoretical computer science (12.06.2014)
Get full text
Journal Article