236 followers
@dfahland The second is a more recent work (also with @tthildebrandt, @carbonem, @sorendebois and tijs) on deadlock and live-by design implementations of #dcrgraphs choreographies https://t.co/cvb6r9m7Cr
@dfahland The second is a more recent work (also with @tthildebrandt, @carbonem, @sorendebois and tijs) on deadlock and live-by design implementations of #dcrgraphs choreographies https://t.co/cvb6r9m7Cr
Paper details & link: "Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems," Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau @pmusau13, Weiming Xiang @xiangweiming, & Taylor T. Johnson @taylorjohnson FORTE'19 https