Pages that link to "Item:Q703491"
From MaRDI portal
The following pages link to Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491):
Displaying 13 items.
- On the aggregation problem for synthesized web services (Q389232) (← links)
- An interface theory for service-oriented design (Q407507) (← links)
- Reliability-aware automatic composition approach for web services (Q439793) (← links)
- Realizable temporal logics for web service choreography (Q739636) (← links)
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee (Q848309) (← links)
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
- Automatic analysis of complex interactions in microservice systems (Q2175983) (← links)
- A compositional framework to the specification of service protocols controllability and substitutability (Q2921918) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
- Analysis of Realizability Conditions for Web Service Choreographies (Q3613058) (← links)
- Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM (Q5179212) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
