 | 2009 |
|---|
| 11 |       | Jean-Marie Jacquet,
Isabelle Linden:
Fully abstract models and refinements as tools to compare agents in timed coordination languages.
Theor. Comput. Sci. 410(2-3): 221-253 (2009) |
| 2007 |
|---|
| 10 | | Jean-Marie Jacquet,
Isabelle Linden:
Towards a Theory of Refinement in Timed Coordination Languages.
COORDINATION 2007: 113-131 |
| 9 | | Isabelle Linden,
Jean-Marie Jacquet:
On the Expressiveness of Timed Coordination via Shared Dataspaces.
Electr. Notes Theor. Comput. Sci. 180(2): 71-89 (2007) |
| 8 | | Guido Boella,
Mehdi Dastani,
Andrea Omicini,
Leendert W. N. van der Torre,
Ivana Cerna,
Isabelle Linden:
Preface.
Electr. Notes Theor. Comput. Sci. 181: 1-3 (2007) |
| 2006 |
|---|
| 7 | | Lubos Brim,
Isabelle Linden:
Preface.
Electr. Notes Theor. Comput. Sci. 150(1): 1-2 (2006) |
| 6 | | Antonio Brogi,
Jean-Marie Jacquet,
Isabelle Linden:
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching.
Fundam. Inform. 73(4): 431-478 (2006) |
| 5 | | Isabelle Linden,
Jean-Marie Jacquet,
Koen De Bosschere,
Antonio Brogi:
On the expressiveness of timed coordination models.
Sci. Comput. Program. 61(2): 152-187 (2006) |
| 2004 |
|---|
| 4 | | Isabelle Linden,
Jean-Marie Jacquet:
On the Expressiveness of Absolute-Time Coordination Languages.
COORDINATION 2004: 232-247 |
| 3 | | Isabelle Linden,
Jean-Marie Jacquet,
Koenraad De Bosschere,
Antonio Brogi:
On the Expressiveness of Relative-Timed Coordination Models.
Electr. Notes Theor. Comput. Sci. 97: 125-153 (2004) |
| 2003 |
|---|
| 2 |  | Jean-Marie Jacquet,
Isabelle Linden:
On Methodologies for Coordinating Programs.
PDPTA 2003: 115-121 |
| 1 | | Antonio Brogi,
Jean-Marie Jacquet,
Isabelle Linden:
On Modeling Coordination via Asynchronous Communication and Enhanced Matching.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
