Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services

DOI10.1007/3-540-45089-0_18zbMath1279.68210OpenAlexW2127864248MaRDI QIDQ3559795

Jianwen Su, Tevfik Bultan, Xiang Fu

Publication date: 7 May 2010

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://escholarship.org/uc/item/9z50j84w

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Minimum-cost delegation in service composition ⋮ Conversation protocols: a formalism for specification and verification of reactive electronic services ⋮ Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation

This page was built for publication: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services