Sign in
Sylvain Ribstein
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Lightweight
Computational Framework
Main Contribution
Asynchronous Communication
Top Venues
FARM@ICFP
</>
Publications
</>
Emilio Jesús Gallego Arias
,
Pierre Jouvelot
,
Sylvain Ribstein
,
Dorian Desblancs
The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms.
FARM@ICFP
(2021)