Pages that link to "Item:Q5756484"
From MaRDI portal
The following pages link to A Calculus for Orchestration of Web Services (Q5756484):
Displayed 20 items.
- COWS (Q19018) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- On the analysis of compensation correctness (Q444367) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- \textsf{CaPiTo}: Protocol stacks for services (Q640297) (← links)
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- From StPowla processes to SRML models (Q973047) (← links)
- Event based choreography (Q988170) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- What Do Semantics Matter When the Meat Is Overcooked? (Q3507389) (← links)
- Relational Analysis of Correlation (Q3522059) (← links)
- On the expressive power of process interruption and compensation (Q3636911) (← links)
- The Conversation Calculus: A Model of Service-Oriented Computation (Q5458402) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)