The Semantics of Package Management via Event Structures

07/04/2021
by   Gershom Bazerman, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset