The following pages link to Coordination Models and Languages (Q5717729):
Displaying 3 items.
- Fully abstract models and refinements as tools to compare agents in timed coordination languages (Q1004066) (← links)
- On the expressiveness of multiplicities in data-based coordination languages (Q1987734) (← links)
- On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues (Q6197379) (← links)
