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 143  
    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
    Wan Fokkink, Rob J. van Glabbeek, Bas Luttik.
    Divide and Congruence III: Stability Divergence.
    28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany 2017 (0) 2017
    Conference paper
    Wan Fokkink, Rob J. van Glabbeek.
    Precongruence Formats with Lookahead through Modal Decomposition.
    26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden 2017 (0) 2017
    Journal article
    Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner.
    Analysing Mutual Exclusion using Process Algebra with Signals.
    Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. 2017, Volume 255 (0) 2017
    Journal article
    Wan Fokkink, Rob J. van Glabbeek.
    Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity.
    Inf. Comput. 2017, Volume 257 (0) 2017
    Show item 1 to 10 of 143  

    Your query returned 143 matches in the database.