Pages that link to "Item:Q2390034"
From MaRDI portal
The following pages link to A Petri net approach for the design and analysis of web services choreographies (Q2390034):
Displaying 3 items.
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
