Pages that link to "Item:Q5902545"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902545):
Displayed 15 items.
- On the analysis of compensation correctness (Q444367) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- From StPowla processes to SRML models (Q973047) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- Biological Transactions for Quantitative Models (Q2864196) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- (Q5013869) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)