Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Constructive Semantics of Esterel: From Theory to Practice (Abstract).. AMAST, volume 1101 of Lecture Notes in Computer Science, page 225. Springer, (1996)The Chemical Abstract Machine., and . POPL, page 81-94. ACM Press, (1990)Stable Models of Typed lambda-Calculi.. ICALP, volume 62 of Lecture Notes in Computer Science, page 72-89. Springer, (1978)On the Definition of Lamda-Calculus Models.. ICFPC, volume 107 of Lecture Notes in Computer Science, page 218-230. Springer, (1981)Advances in ESL Design., , , and . IEEE Des. Test Comput., 25 (6): 520-526 (2008)Circuit design and verication with Esterel v7 and Esterel Studio.. HLDVT, page 133-136. IEEE Computer Society, (2007)System Level Design and Verification Using a Synchronous Language., , and . ICCAD, page 433-440. IEEE Computer Society / ACM, (2003)Towards Coq-verified Esterel Semantics and Compiling., and . CoRR, (2019)Bottom-Up Computation of Recursive Programs.. RAIRO Theor. Informatics Appl., 10 (1): 47-82 (1976)Hop and HipHop : Multitier Web Orchestration., and . CoRR, (2013)