Dan Frumin
发表
Herman Geuvers,
Léon Gondelman,
Niels van der Weide,
2018,
CPP.
Robbert Krebbers,
Léon Gondelman,
Dan Frumin,
2019,
ESOP.
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2019,
ArXiv.
Marco Maggesi,
Benedikt Ahrens,
Niels van der Weide,
2019,
FSCD.
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
pdf
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2020,
Log. Methods Comput. Sci..
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2018,
LICS.
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
pdf
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2020,
Log. Methods Comput. Sci..
Dan Frumin,
D. Frumin,
2021,
CPP.