Pages that link to "Item:Q2875284"
From MaRDI portal
The following pages link to The semantics and verification of timed service choreography (Q2875284):
Displaying 5 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- Realizable temporal logics for web service choreography (Q739636) (← links)
- Event based choreography (Q988170) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)