The FreeBoard

Computer and time

Edward A. Lee. Computing needs time. COMMUNICATIONS OF THE ACM, 52(5), 2009. University of California, Berkeley

A part of the formal methods History

garavel-fm-14-v7-grenoble.pdf

Link to HOP slides (open with Google Chrome)

ejcp14.tar.gz