Amanote Research

Amanote Research

    RegisterSign 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 ScienceTheoretical Computer Science
1992English

Esterel V7: From Verified Formal Specification to Efficient Industrial Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy