Crossmark

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

Crossref DOI link: https://doi.org/10.1007/s00165-018-0453-7

Published Print: 2018-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Shi, Ling

Zhao, Yongxin

Liu, Yang

Sun, Jun

Dong, Jin Song

Qin, Shengchao
License Information

Text and Data Mining valid from 2018-08-01
More Information

Article History

Received: 2 December 2014

Accepted: 1 April 2018

First Online: 25 April 2018