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