Conversation protocols: a formalism for specification and verification of reactive electronic services
From MaRDI portal
Publication:3559795
DOI10.1007/3-540-45089-0_18zbMATH Open1279.68210OpenAlexW2127864248MaRDI QIDQ3559795FDOQ3559795
Authors: Xiang Fu, Tevfik Bultan, Jianwen Su 
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
Recommendations
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Analysis of Realizability Conditions for Web Service Choreographies
- Realizable temporal logics for web service choreography
- Deciding choreography realizability
- Modeling and model checking web services
Cited In (6)
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Title not available (Why is that?)
- Minimum-cost delegation in service composition
- Counterexample guided synthesis of monitors for realizability enforcement
- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
- Title not available (Why is that?)
This page was built for publication: Conversation protocols: a formalism for specification and verification of reactive electronic services
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3559795)
