Abstract
AbstractI have known Rob van Glabbeek as a colleague for 16 years, of which eight years were in the same research group. However, this only amounts to less than half of his professional life which started in the mid-1980s at the Centrum voor Wiskunde en Informatica in Amsterdam. In this article, I am trying to piece together the information I got from colleagues as well as from Rob himself—to the best of my recollection—to give an insight into Rob as a colleague, researcher, and person.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference6 articles.
1. Bloom, B., Fokkink, W., van Glabbeek, R.: Precongruence formats for decorated trace preorders. In: Proceedings 15th Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), pp. 107–118 (2000). https://doi.org/10.1109/LICS.2000.855760
2. Fehnker, A., van Glabbeek, R., Höfner, P., McIver, A., Portmann, M., Tan, W.L.: A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV (2013). arXiv:1312.7645
3. van Glabbeek, R., Höfner, P., Tan, W.L., Portmann, M.: Sequence numbers do not guarantee loop freedom: AODV can yield routing loops
4. van Glabbeek, R.J., Weijland, W.P.: Branching Time and Abstraction in Bisimulation Semantics. J. ACM 43(3), 555–600 (1996). https://doi.org/10.1145/233551.233556
5. Groote, J.F.: Process algebra and structured operational semantics. Ph.D. thesis, Universiteit van Amsterdam (1991). https://www.win.tue.nl/~jfg/articles/proefschrift.pdf
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Preface;Acta Informatica;2020-05-06