Protocols provide the unifying glue in concurrent and distributed software today; verifying
that message-passing programs conform to such governing protocols is important but …

Interactions are formal models describing asynchronous communications within a
distributed system. They can be drawn in the fashion of sequence diagrams and associated …

Runtime Verification (RV) refers to a family of techniques in which system executions are
observed and confronted to formal specifications, with the aim of identifying faults. In offline …

Il recente sviluppo di applicazioni concorrenti e distribuite ha dato origine a un nuovo
interesse verso il linguaggio Erlang (ed Elixir che si basa su una Erlang Virtual Machine …

We propose the Automata-based Multiparty Protocols framework (AMP) for top-down
protocol development. The framework features a new very general formalism for global …

Much of the software we use in everyday life consists of distributed components (running on
separate cores or even computers) that collaborate through communication (by exchanging …

Interactions are formal models describing asynchronous communications within a
Distributed System (DS). They can be drawn in the fashion of sequence diagrams and …

Distributed message-passing systems have become ubiquitous and essential for our daily
lives. Hence, designing and implementing them correctly is of utmost importance. This is …

Protocols provide the unifying glue in concurrent and distributed software today; verifying
that message-passing programs conform to such governing protocols is important but …