The following pages link to (Q4484211):
Displaying 7 items.
- Formal specification of a web services protocol (Q861299) (← links)
- The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems (Q862581) (← links)
- Specification and execution of composite trading activities (Q2466384) (← links)
- Standards and verification for fair-exchange and atomicity in e-commerce transactions (Q2489255) (← links)
- A Brokering Protocol for Electronic Trading (Q2768511) (← links)
- Formal specification of a web services protocol (Q2847803) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703996) (← links)