Contact DMCA Privacy

Robuta

https://zenodo.org/records/3541080
Automated Verification of Reactive and Concurrent Programs by Calculation, supporting material
Abstract Event-driven reactive programs combine traditional sequential programming constructs with primitives to allow communication with other concurrent...
automated verificationconcurrent programsreactivecalculationsupporting