Login / Signup
Gérard Boudol
Publication Activity (10 Years)
Years Active: 1979-2015
Publications (10 Years): 0
Top Topics
Deadlock Free
Operational Semantics
Web Applications
Mashup
Top Venues
EXPRESS/SOS
ACM Trans. Program. Lang. Syst.
PPDP
</>
Publications
</>