Pages that link to "Item:Q5705884"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705884):
Displaying 18 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)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Linear forwarders (Q2384926) (← links)
- Time analysis of actor programs (Q2423757) (← links)
- Timed $$\pi $$-Calculus (Q2830030) (← links)
- Biological transactions for quantitative models (Q2864196) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- (Q5013869) (← links)
- A model of actors and grey failures (Q6137831) (← links)