Richard Terrat

According to our database¹, Richard Terrat authored at least 3 papers between 1981 and 2004.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2004

Pregroup Grammars for Chords.

[BibT_eX]

[DOI]

Proceedings of the ISMIR 2004, 2004

1982

Petri Nets Theory for the Correctness of Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1982

1981

Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets, 1981