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 138  
    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
    Rob J. van Glabbeek.
    An Algebraic Treatment of Recursion.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Rob J. van Glabbeek.
    A Branching Time Model of CSP.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Rob J. van Glabbeek, Peter Höfner.
    Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack.
    Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. 2017, Volume 244 (0) 2017
    Conference paper
    Rob J. van Glabbeek.
    Lean and Full Congruence Formats for Recursion.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Rob J. van Glabbeek.
    Lean and full congruence formats for recursion.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 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
    Conference paper
    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
    Conference paper
    Emile Bres, Rob J. van Glabbeek, Peter Höfner.
    A Timed Process Algebra for Wireless Networks.
    CoRR 2016, Volume 0 (0) 2016
    Show item 1 to 10 of 138  

    Your query returned 138 matches in the database.