UTP Semantics for Web Services

DOI10.1007/978-3-540-73210-5_19zbMath1213.68111OpenAlexW1569771005MaRDI QIDQ3608891

He Jifeng

Publication date: 6 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73210-5_19

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Internet topics (68M11)

Related Items (3)

The safety-critical Java memory model formalised ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ Compensation by design

This page was built for publication: UTP Semantics for Web Services