Pages that link to "Item:Q5276147"
From MaRDI portal
The following pages link to Theoretical foundations for compensations in flow composition languages (Q5276147):
Displayed 16 items.
- On the analysis of compensation correctness (Q444367) (← links)
- Privacy preserving minimal observability for composite transactional services (Q481362) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- Compensation by design (Q736799) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- Safer asynchronous runtime monitoring using compensations (Q2441726) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- Business Process Modeling for Organizational Knowledge Management (Q3507371) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- Challenges in the Specification of Full Contracts (Q3605474) (← links)
- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation (Q3614842) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)
- Towards a taxonomy for reversible computation approaches (Q6148104) (← links)