Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers - Bowen, Jonathan P.; Zhu, Huibiao; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Abstraction refinement -- Choice -- Termination -- Feasibility -- Locality.-Concurrency -- Communication. .
Keywords: Computer logic; Programming languages (Electronic computers).; Software engineering; Mathematical logic; Computers; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Mathematical Logic and Formal Languages; Computation by Abstract Devices