The semantics and verification of timed service choreography

DOI10.1080/00207160.2013.796369zbMath1373.68127OpenAlexW2003521185MaRDI QIDQ2875284

Yongxin Zhao, Geguang Pu, Hao Xiao, Ting Su, Zheng Wang

Publication date: 14 August 2014

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160.2013.796369

zbMATH Keywords

verificationsimulationexecution semanticsprocess analysis toolkittime service choreography

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Internet topics (68M11)

Cites Work

• Unnamed Item
• Validation and verification of web services choreographies by using timed automata
• The timed failures -- Stability model for CSP
• An operational semantics for timed CSP
• Understanding concurrent systems

This page was built for publication: The semantics and verification of timed service choreography