From Action Systems to Distributed Systems 2016

Modeling

Analysis

Proof

Refinement

Applications

maintained by Schloss Dagstuhl LZI at University of Trier