DeepAI AI Chat
Log In Sign Up

The Semantics of Package Management via Event Structures

by   Gershom Bazerman, et al.

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, nondeterministic systems. In this approach, the data of a package repository is treated as a declarative specification of a nondeterministic, concurrent program. We introduce a process calculus corresponding to this data, and investigate its operational and categorical semantics. Our hope is this lays the basis for further formal study of package management in which the weight of existing tools can be brought to bear.


page 1

page 2

page 3

page 4


A Mathematical Model of Package Management Systems – from General Event Structures to Antimatroids

This paper brings mathematical tools to bear on the study of package dep...

The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices

This paper is motivated by the desire to study package management using ...

DiscreteZOO: a Fingerprint Database of Discrete Objects

In this paper, we present DiscreteZOO, a project which illustrates some ...

From Thin Concurrent Games to Generalized Species of Structures

Two families of denotational models have emerged from the semantic analy...

The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics

We present a novel and well automatable approach to formal verification ...

The meaning of concurrent programs

The semantics of assignment and mutual exclusion in concurrent and multi...