From Action Systems to Distributed Systems 2016

Modeling

Analysis

Proof

Refinement

Applications

maintained by Schloss Dagstuhl LZI, founded at University of Trier