Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Frans Kaashoek
Observed names:
Frans M. Kaashoek,
John Guttag, Frans Kaashoek,
Kaashoek, Frans,
Kaashoek, Frans, 1965-
Institution:
Massachusetts Institute of Technology
Observed institutions:
MIT Computer Science and Artificial Intelligence Laboratory,
Massachusetts Institute of Technology
OpenAlex ID:
A5110236312
Decoupling Liveness Obligations from Threads in the Lantana Concurrent Separation Logic (Artifact)
2026
·
Lee, Dongjae
, Kaashoek, Frans
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Show more works
View as search
Works count:
24
Citation count:
H-index:
I10-index:
Year
Topic
Type
