Alain Griffault (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy: The AltaRica Formalism for Describing Concurrent Systems. Fundam. Inform. 40(2-3): 109-124 (1999)

1 Marc-Michel Corsini, Alain Griffault, Antoine Rauzy: Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR 1993: 86-97

Selection of 2 from 3 records - Alain Griffault has 5 coauthors

2		André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy: The AltaRica Formalism for Describing Concurrent Systems. Fundam. Inform. 40(2-3): 109-124 (1999)
1		Marc-Michel Corsini, Alain Griffault, Antoine Rauzy: Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR 1993: 86-97