Log In Sign Up

Interleaving Reconfigurable Interaction: Separating Choice from Scheduling using Glue

by   Yehia Abd Alrahman, et al.

Reconfigurable interaction induces another dimension of nondeterminism in concurrent systems which makes it hard to reason about the different choices of the system from a global perspective. Namely, (1) choices that correspond to concurrent execution of independent events; and (2) forced interleaving (or scheduling) due to reconfiguration. Unlike linear order semantics of computations, partial order semantics recovers information about the interdependence among the different events for fixed interaction, but still is unable to handle reconfiguration. We introduce glued partial orders as a way to capture reconfiguration. Much like partial orders capture all possible choices for fixed systems, glued partial orders capture all possible choices alongside reconfiguration. We show that a glued partial order is sufficient to correctly capture all partial order computations that differ in forced interleaving due to reconfiguration. Furthermore, we show that computations belonging to different glued partial orders are only different due to non-determinism.


page 1

page 2

page 3

page 4


Partial order alignment by adjacencies and breakpoints

Linearizing two partial orders to maximize the number of adjacencies and...

Betweenness of partial orders

We construct a monadic second-order sentence that characterizes the tern...

Non-characterizability of belief revision: an application of finite model theory

A formal framework is given for the characterizability of a class of bel...

Partial Orders, Residuation, and First-Order Linear Logic

We will investigate proof-theoretic and linguistic aspects of first-orde...

Partial-Order Planning with Concurrent Interacting Actions

In order to generate plans for agents with multiple actuators, agent tea...

Branching Pomsets for Choreographies

Choreographic languages describe possible sequences of interactions amon...

Non-Sequential Theory of Distributed Systems

These lecture notes cover basic automata-theoretic concepts and logical ...