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.

[DOI]

Proceedings of the ISMIR 2004, 2004

1981

Petri Nets Theory for the Correctness of Protocols.

Proceedings of the Distributed Data Sharing Systems, 1981

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

[DOI]

Proceedings of the Application and Theory of Petri Nets, 1981