Pages that link to "Item:Q5756484"
From MaRDI portal
The following pages link to A Calculus for Orchestration of Web Services (Q5756484):
Displaying 37 items.
- COWS (Q19018) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- On the analysis of compensation correctness (Q444367) (← links)
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Enabling synchronous and asynchronous communications in CSP for SOC (Q530849) (← 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)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Towards a process calculus for REST: current state of the art (Q902704) (← 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)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services (Q2810685) (← 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)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- The Evolution of Jolie (Q5256366) (← 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)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)
- Global escape in multiparty sessions (Q5741561) (← links)
