DeepAI AI Chat
Log In Sign Up

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

page 1

page 2

page 3

page 4

02/10/2023

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...
04/12/2020

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

This paper is motivated by the desire to study package management using ...
12/13/2018

DiscreteZOO: a Fingerprint Database of Discrete Objects

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

From Thin Concurrent Games to Generalized Species of Structures

Two families of denotational models have emerged from the semantic analy...
08/09/2022

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 ...
10/07/2008

The meaning of concurrent programs

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