3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2021
The Semantics of Package Management via Event Structures
Gershom Bazerman
We propose an approach to the semantics of package management which relates it to general event structures, well-known mathematical objects used in the semantics of concurrent, non…
cs.LO2020★ 3 cited
The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices
Gershom Bazerman, Raymond Puzio
This paper is motivated by the desire to study package management using the toolkit of the semantics of functional languages. As it transpires, this is deeply related to the semant…