A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
scientific article; zbMATH DE number 6962867
scientific article