Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract].

Ritwika Ghosh, Sasa Misailovic, Sayan Mitra

Browse the full PODC paper archive.