Construction and Analysis of Distributed Processes

Software Tools for Designing Reliable Protocols and Systems

Software · by Institut National de Recherche en Informatique et en Automatique · cadp.inria.fr

Open Construction and Analysis of Distributed Processes in AirStack

What Construction and Analysis of Distributed Processes’s own pages say

What it says it doesSoftware Tools for Designing Reliable Protocols and Systems cadp.inria.fr
PlatformsSunOS 5.11, macOS 10.14 "Mojave", macOS 10.13 "High Sierra", macOS 10.12 "Sierra", Windows 10, Windows cadp.inria.fr

Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.