Didier Vergamini

	1992
7		Eric Madelaine, Didier Vergamini: Verification of Communicating Processes by Means of Automata Reduction and Abstraction. STACS 1992: 613-614
	1991
6		Eric Madelaine, Didier Vergamini: Tool Demonstration: Tools for Process Algebras. FORTE 1991: 463-466
5		Eric Madelaine, Didier Vergamini: Specification and Verification of a Sliding Window Protocol in LOTOS. FORTE 1991: 495-510
	1990
4		Eric Madelaine, Didier Vergamini: Finiteness Conditions and Structural Construction of Automata for All Process Algebras. CAV 1990: 353-363
	1989
3		Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini: Process Calculi, from Theory to Practice: Verification Tools. Automatic Verification Methods for Finite State Systems 1989: 1-10
2		Eric Madelaine, Didier Vergamini: AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks. FORTE 1989: 61-66
	1988
1		Didier Vergamini: Verification of distributed systems: an experiment. Formal Properties of Finite Automata and Applications 1988: 249-259

Coauthor Index

1	Gérard Boudol	[3]
2	Eric Madelaine	[2] [4] [5] [6] [7]
3	Valérie Roy	[3]
4	Robert de Simone	[3]

Colors in the list of coauthors