The following pages link to (Q4721641):
Displaying 13 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- The chemical abstract machine (Q1190491) (← links)
- Basic observables for processes (Q1286368) (← links)
- On the operational semantics of nondeterminism and divergence (Q1350504) (← links)
- Linda-based applicative and imperative process algebras (Q1575260) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- (Q5089276) (← links)
- Liquidity analysis in resource-aware programming (Q6052939) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
