Publications 1999

Academic Journals

1. Eric Badouel, Philippe Darondeau, Jean-Claude Raoult. Context-Free Event Domains are Recognizable. Information and Computation, 149(2):134-172, 1999.
2. Benoît Caillaud. Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata. JESA, European Journal on Automated Systems, 33(8):925-942, 1999.

Book Chapters

1. Eric Badouel, Philippe Darondeau. Theory of regions. In Lectures on Petri Nets I: Basic Models, Vol. 1491, pp. 529-586, Lecture Notes in Computer Science, Springer, 1999.

International Conferences

1. Eric Badouel, Philippe Darondeau, Andrew Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. In PDPTA'99, Pages 11-17, Las Vegas, USA, 1999.
2. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. From Synchrony to Asynchrony. In CONCUR'99, Concurrency Theory, 10th International Conference, J.C.M. Baeten, S. Mauw (eds.), Lecture Notes in Computer Science, Volume 1664, Pages 162-177, August 1999.

Research Reports

1. Albert Benveniste, Paul Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research report IRISA, No 1289, December 1999. download
2. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Paul Le Guernic. Hierarchic Normal Forms for Desynchronization. Research report INRIA Rennes, No 3822, December 1999. download
3. Sophie Pinchinat, Hervé Marchand, Michel Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem Research. Research report IRISA, No 1279, November 1999. download
4. Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic. Asynchronous deployment of synchronous transition systems. Research report IRISA, No 1269, October 1999. download
5. Eric Badouel, Philippe Darondeau, Danièle Quichaud, Andrew Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. Research report IRISA, No 1253, June 1999. download
6. Philippe Darondeau. On the Petri Net Realization of Context-Free Graphs. Research report INRIA Rennes, No 3674, May 1999. download
7. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. From synchrony to asynchrony. Research report INRIA Rennes, No 3641, March 1999. download

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.