Pages that link to "Item:Q1127512"
From MaRDI portal
The following pages link to A process algebraic view of Linda coordination primitives (Q1127512):
Displaying 12 items.
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- A transition system semantics for the control-driven coordination language MANIFOLD (Q1575145) (← links)
- Comparing three semantics for Linda-like languages (Q1575148) (← links)
- Linda-based applicative and imperative process algebras (Q1575260) (← links)
- On the expressiveness of Linda coordination primitives. (Q1854324) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- On the expressiveness of multiplicities in data-based coordination languages (Q1987734) (← links)
- A process algebraic view of shared dataspace coordination (Q2474048) (← links)
- Synchrony vs asynchrony in communication primitives (Q2866346) (← links)
- Nadia Busi's publications (Q3655765) (← links)
- Full Abstraction for Linda (Q5458387) (← links)