-
Behavioural Semantics for Asynchronous Components
Software components are a valuable programming abstraction that enables a compositional design of complex applications. In distributed systems, components can also be... -
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed...
