 | 2008 |
|---|
| 4 |       | Julien Bernet,
David Janin:
From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.
SOFSEM 2008: 162-173 |
| 2006 |
|---|
| 3 | | Julien Bernet,
David Janin:
On Distributed Program Specification and Synthesis in Architectures with Cycles.
FORTE 2006: 175-190 |
| 2005 |
|---|
| 2 | | Julien Bernet,
David Janin:
Tree Automata and Discrete Distributed Games.
FCT 2005: 540-551 |
| 2002 |
|---|
| 1 | | Julien Bernet,
David Janin,
Igor Walukiewicz:
Permissive strategies: from parity games to safety games.
ITA 36(3): 261-275 (2002) |
