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

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

Browse the full FOSSACS paper archive.