Ori Lahav

Research activity per year

Filter

2024
A Rely-Guarantee Framework for Proving Deadlock Freedom Under Causal Consistency
Dongol, B., Lahav, O. & Wehrheim, H., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 88-108 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14780).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
2010
Strict canonical constructive systems
Avron, A. & Lahav, O., 2010, Fields of Logic and Computation - Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Springer Berlin Heidelberg, p. 75-94 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6300 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
3 Scopus citations

Research output