Pages that link to "Item:Q861292"
From MaRDI portal
The following pages link to Service oriented computing from a process algebraic perspective (Q861292):
Displaying 14 items.
- Enabling synchronous and asynchronous communications in CSP for SOC (Q530849) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- Service net algebra based on logic Petri nets (Q726149) (← links)
- Towards a process calculus for REST: current state of the art (Q902704) (← links)
- From StPowla processes to SRML models (Q973047) (← links)
- Objects and session types (Q1021571) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- On the expressiveness of multiplicities in data-based coordination languages (Q1987734) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Communicating by compatibility (Q2426519) (← links)
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services (Q2810685) (← links)
- Models for trustworthy service and process oriented systems (Q2883105) (← links)
- Approaching simple and powerful service-computing<sup>1</sup> (Q3498554) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)