DeepAI AI Chat

Higher-dimensional automata modeling shared-variable systems

01/23/2018

∙

by Thomas Kahl, et al.

∙

uminho

∙

∙

The purpose of this paper is to provide a construction to model shared-variable systems using higher-dimensional automata which is compositional in the sense that the parallel composition of completely independent systems is modeled by the standard tensor product of HDAs and nondeterministic choice is represented by the coproduct.

page 1

page 2

page 3

page 4

∙ 02/20/2018

Higher-Dimensional Timed Automata

We introduce a new formalism of higher-dimensional timed automata, based...

0 Uli Fahrenberg, et al. ∙

∙ 07/14/2021

Composition of choreography automata

Choreography automata are an automata-based model of choreographies, tha...

0 Franco Barbanera, et al. ∙

∙ 05/10/2023

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication

Higher-dimensional automata (HDA) are a formalism to model the behaviour...

0 Henning Basold, et al. ∙

∙ 04/07/2021

Finite Automata Encoding Functions

Finite automata are used to describe functions, geometric figures, fract...

0 Dmitry Berdinsky, et al. ∙

∙ 10/28/2019

Weak equivalence of higher-dimensional automata

This paper introduces a notion of weak equivalence for higher-dimensiona...

0 Thomas Kahl, et al. ∙

∙ 03/28/2021

On symmetric higher-dimensional automata and bisimilarity

It is shown that a higher-dimensional automaton is hhp-bisimilar to the ...

0 Thomas Kahl, et al. ∙

∙ 05/31/2021

Composing Networks of Automated Market Makers

Automated market makers (AMMs) are automata that trade electronic assets...

0 Daniel Engel, et al. ∙