Rob van Glabbeek

1. Comparing the expressiveness of the π-calculus and CCS
   2022/03/22 by Rob van Glabbeek, van Glabbeek, Rob · 1 citation
   Chemistry · Computer Science · #Distributed systems and fault tolerance #F.1.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Molecular spectroscopy and chirality
2. A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV
   2013/12/30 by Ansgar Fehnker, Fehnker, Ansgar, Rob van Glabbeek +9 · 2 citations
   Computer Science · Engineering · #C.2.2 #Energy Efficient Wireless Sensor Networks #F.3.1 #F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Mobile Ad Hoc Networks #Networking and Internet Architecture (cs.NI) #Vehicular Ad Hoc Networks (VANETs)
3. On Synchronous and Asynchronous Interaction in Distributed Systems
   2008/12/31 by Rob van Glabbeek, van Glabbeek, Rob, Ursula Goltz +3 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #Petri Nets in System Modeling #Interconnection Networks and Systems