Nicolas Baudru

	2009
7		Nicolas Baudru: Distributed Asynchronous Automata. CONCUR 2009: 115-130
	2007
6		Nicolas Baudru, Rémi Morin: Synthesis of Safe Message-Passing Systems. FSTTCS 2007: 277-289
	2006
5		Nicolas Baudru, Rémi Morin: Unfolding Synthesis of Asynchronous Automata. CSR 2006: 46-57
4		Nicolas Baudru, Rémi Morin: The Synthesis Problem of Netcharts. ICATPN 2006: 84-104
	2005
3		Nicolas Baudru, Rémi Morin: Polynomial Synthesis of Asynchronous Automata CoRR abs/cs/0506096: (2005)
	2004
2		Nicolas Baudru, Rémi Morin: The Pros and Cons of Netcharts. CONCUR 2004: 99-114
	2003
1		Nicolas Baudru, Rémi Morin: Safe Implementability of Regular Message Sequence Chart Specifications. SNPD 2003: 210-217

Coauthor Index

1

Rémi Morin

[1] [2] [3] [4] [5] [6]