| |
| 2004 | ||
|---|---|---|
| 4 | EE | Richard Terrat: Pregroup Grammars for Chords. ISMIR 2004 |
| 1982 | ||
| 3 | Gérard Berthelot, Richard Terrat: Petri Nets Theory for the Correctness of Protocols. PSTV 1982: 325-342 | |
| 1981 | ||
| 2 | Gérard Berthelot, Richard Terrat: Petri Nets Theory for the Correctness of Protocols. DDSS 1981: 23-43 | |
| 1 | Gérard Berthelot, Richard Terrat: Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 251-257 | |
| 1 | Gérard Berthelot | [1] [2] [3] |