The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices. - Gershom Bazerman; Raymond Puzio (CoRR, 2020)

The Semantics of Package Management via Event Structures. - Gershom Bazerman (CoRR, 2021)

A totally predictable outcome: an investigation of traversals of infinite structures. - Gershom Bazerman (Haskell, 2022)

A Mathematical Model of Package Management Systems - from General Event Structures to Antimatroids. - Gershom Bazerman; Emilio Minichiello; Raymond Puzio (CoRR, 2023)