Other presentations

  1. Verification of Rebeca models using symmetry and partial order reduction techniques

    Rebeca is an actor-based language with formal semantics that can be used at a high level of abstraction in modeling concurrent and distributed reactive systems. The asynchronous message-passing paradigm in Rebeca allows for efficient modeling of loosely-coupled distributed systems. The simple Java-like syntax of Rebeca, unlike the traditional notations of …

    read more

Page 1 / 1

hosted by