Monadic and Algebraic Denotational Semantics for Concurrent Shared State
Venue: University of Tartu, Estonia
Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon Plotkin
Venue: University of Tartu, Estonia
Search