Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gérard Berry
The Chemical Abstract Machine
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Esterel V7: From Verified Formal Specification to Efficient Industrial Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science