Showing 1 - 11 results of 11 for search 'Rob van Glabbeek', query time: 0.03s Refine Results
  1. 1
    On the Meaning of Transition System Specifications

    On the Meaning of Transition System Specifications by Rob van Glabbeek

    Published 2019-08-01
    Get full text
    Article
  2. 2
    Musings on Encodings and Expressiveness

    Musings on Encodings and Expressiveness by Rob van Glabbeek

    Published 2012-08-01
    Get full text
    Article
  3. 3
    Failure Trace Semantics for a Process Algebra with Time-outs

    Failure Trace Semantics for a Process Algebra with Time-outs by Rob van Glabbeek

    Published 2021-04-01
    Get full text
    Article
  4. 4
    Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack

    Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack by Rob van Glabbeek, Peter Höfner

    Published 2017-03-01
    Get full text
    Article
  5. 5
    Analysing and Comparing Encodability Criteria

    Analysing and Comparing Encodability Criteria by Kirstin Peters, Rob van Glabbeek

    Published 2015-08-01
    Get full text
    Article
  6. 6
    On the Axiomatizability of Impossible Futures

    On the Axiomatizability of Impossible Futures by Taolue Chen, Wan Fokkink, Rob van Glabbeek

    Published 2015-09-01
    Get full text
    Article
  7. 7
    Analysing Mutual Exclusion using Process Algebra with Signals

    Analysing Mutual Exclusion using Process Algebra with Signals by Victor Dyseryn, Rob van Glabbeek, Peter Höfner

    Published 2017-08-01
    Get full text
    Article
  8. 8
    Computation Tree Logic with Deadlock Detection

    Computation Tree Logic with Deadlock Detection by Rob van Glabbeek, Bas Luttik, Nikola Trcka

    Published 2009-12-01
    Get full text
    Article
  9. 9
    Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

    Rooted Divergence-Preserving Branching Bisimilarity is a Congruence by Rob van Glabbeek, Bas Luttik, Linda Spaninks

    Published 2020-08-01
    Get full text
    Article
  10. 10
    Real-Reward Testing for Probabilistic Processes (Extended Abstract)

    Real-Reward Testing for Probabilistic Processes (Extended Abstract) by Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan

    Published 2011-07-01
    Get full text
    Article
  11. 11
    Characterising Testing Preorders for Finite Probabilistic Processes

    Characterising Testing Preorders for Finite Probabilistic Processes by Yuxin Deng, Matthew Hennessy, Rob van Glabbeek, Carroll Morgan

    Published 2008-10-01
    Get full text
    Article

Search Tools: