Yotam Dvir

According to our database, Yotam Dvir authored at least 4 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics.

Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon D. Plotkin

CoRR, January, 2025

2024

A Denotational Approach to Release/Acquire Concurrency.

Yotam Dvir, Ohad Kammar, Ori Lahav

Proceedings of the Programming Languages and Systems, 2024

2022

An Algebraic Theory for Shared-State Concurrency.

Yotam Dvir, Ohad Kammar, Ori Lahav

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2019

First-Order Quasi-canonical Proof Systems.

Yotam Dvir, Arnon Avron

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019