Skip to main navigation Skip to search Skip to main content

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

  • Yotam Dvir
  • , Ohad Kammar
  • , Ori Lahav
  • , Gordon Plotkin

Tel Aviv University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'Two-sorted algebraic decompositions of Brookes’s shared-state denotational semantics'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science

Mathematics