Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Rob J. van
    Last name: Glabbeek
    DBLP: g/RobJvanGlabbeek
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 132  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Rob J. van Glabbeek.
    A Branching Time Model of CSP.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Timothy Bourke, Rob J. van Glabbeek, Peter Höfner.
    Mechanizing a Process Algebra for Network Protocols.
    J. Autom. Reasoning 2016, Volume 56 (0) 2016
    Conference paper
    Emile Bres, Rob J. van Glabbeek, Peter Höfner.
    A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract).
    Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings 2016 (0) 2016
    Journal article
    Wan Fokkink, Rob J. van Glabbeek.
    Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Emile Bres, Rob J. van Glabbeek, Peter Höfner.
    A Timed Process Algebra for Wireless Networks.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan.
    Modelling and verifying the AODV routing protocol.
    Distributed Computing 2016, Volume 29 (0) 2016
    Journal article
    Rob J. van Glabbeek, Dominic J. D. Hughes.
    MALL proof nets identify proofs modulo rule commutation.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Wan Fokkink, Rob J. van Glabbeek.
    Divide and Congruence II: Delay and Weak Bisimilarity.
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 2016 (0) 2016
    Journal article
    Rob J. van Glabbeek, Peter Höfner.
    Progress, Fairness and Justness in Process Algebra.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog.
    Special issue on "Combining Compositionality and Concurrency": part 1.
    Acta Inf. 2015, Volume 52 (0) 2015
    Conference paper
    Rob J. van Glabbeek, Peter Höfner.
    CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.
    Acta Inf. 2015, Volume 52 (0) 2015
    Journal article
    Taolue Chen, Wan Fokkink, Rob J. van Glabbeek.
    On the Axiomatizability of Impossible Futures.
    Logical Methods in Computer Science 2015, Volume 11 (0) 2015
    Journal article
    Rob J. van Glabbeek, Peter Höfner.
    CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Timothy Bourke, Rob J. van Glabbeek, Peter Höfner.
    A mechanized proof of loop freedom of the (untimed) AODV routing protocol.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog.
    Special issue on "Combining Compositionality and Concurrency": part 2.
    Acta Inf. 2015, Volume 52 (0) 2015
    Conference paper
    Kirstin Peters, Rob J. van Glabbeek.
    Analysing and Comparing Encodability Criteria for Process Calculi.
    Archive of Formal Proofs 2015, Volume 2015 (0) 2015
    Journal article
    Kirstin Peters, Rob J. van Glabbeek.
    Analysing and Comparing Encodability Criteria.
    Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. 2015, Volume 190 (0) 2015
    Conference paper
    Rob J. van Glabbeek.
    Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.
    Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings 2015 (0) 2015
    Journal article
    Rob J. van Glabbeek.
    Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker.
    A Rigorous Analysis of AODV and its Variants.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan.
    A Process Algebra for Wireless Mesh Networks.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan.
    Modelling and Verifying the AODV Routing Protocol.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Timothy Bourke, Rob J. van Glabbeek, Peter Höfner.
    Mechanizing a Process Algebra for Network Protocols.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann.
    Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan.
    Modelling and Analysis of AODV in UPPAAL.
    CoRR 2015, Volume 0 (0) 2015
    Show item 1 to 25 of 132  

    Your query returned 132 matches in the database.