DeepAI
Log In Sign Up

Interleaving Reconfigurable Interaction: Separating Choice from Scheduling using Glue

07/30/2021
by   Yehia Abd Alrahman, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/06/2021

Partial order alignment by adjacencies and breakpoints

Linearizing two partial orders to maximize the number of adjacencies and...
04/21/2020

Betweenness of partial orders

We construct a monadic second-order sentence that characterizes the tern...
03/25/2014

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

A formal framework is given for the characterizability of a class of bel...
08/14/2020

Partial Orders, Residuation, and First-Order Linear Logic

We will investigate proof-theoretic and linguistic aspects of first-orde...
06/01/2011

Partial-Order Planning with Concurrent Interacting Actions

In order to generate plans for agents with multiple actuators, agent tea...
08/09/2022

Branching Pomsets for Choreographies

Choreographic languages describe possible sequences of interactions amon...
04/15/2019

Non-Sequential Theory of Distributed Systems

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