On Denotational Semantics of Spatial-Temporal Consistency Language - STeC - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hengyang Wu, Yixiang Chen, Min Zhang. On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. In Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK. pages 113-120, IEEE, 2013. [doi]

This author has not been identified. Look up 'Hengyang Wu' in GoogleThis author has not been identified. Look up 'Yixiang Chen' in GoogleThis author has not been identified. Look up 'Min Zhang' in Google

runs on WebDSL