UTP Semantics for Web Services

DOI10.1007/978-3-540-73210-5_19zbMATH Open1213.68111OpenAlexW1569771005MaRDI QIDQ3608891FDOQ3608891

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

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

Cited In (3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608891)