The following pages link to Isabelle Linden (Q1004065):
Displaying 5 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 expressiveness of timed coordination models (Q2495554) (← links)
- (Q3413368) (← links)
- Coordination Models and Languages (Q5717729) (← links)