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 10 of 135  
    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
    Journal article
    Rob J. van Glabbeek.
    An Algebraic Treatment of Recursion.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Rob J. van Glabbeek.
    A Branching Time Model of CSP.
    CoRR 2017, Volume 0 (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
    Show item 1 to 10 of 135  

    Your query returned 135 matches in the database.