From Action Systems to Distributed Systems 2016

Listing of the DBLP Bibliography Server - FAQ
Other views: modern
Other mirrors: Trier II - Dagstuhl


Modeling

Analysis

Proof

Refinement

Applications

Last update 2017-06-25 23:23 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page