Pages that link to "Item:Q1035678"
From MaRDI portal
The following pages link to A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678):
Displaying 3 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- The semantics and verification of timed service choreography (Q2875284) (← links)