Pages that link to "Item:Q5705884"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705884):
Displaying 9 items.
- On the analysis of compensation correctness (Q444367) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
