Probabilistic Semantics for RoboChart - A Weakest Completion Approach

Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, <ins>Kangfeng Ye</ins>
January, 2019
PDF DOI
Type
Conference paper
Publication
Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings