DeepAI AI Chat
Log In Sign Up

Higher-dimensional automata modeling shared-variable systems

01/23/2018
by   Thomas Kahl, et al.
uminho
0

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.

READ FULL TEXT

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...
07/14/2021

Composition of choreography automata

Choreography automata are an automata-based model of choreographies, tha...
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...
04/07/2021

Finite Automata Encoding Functions

Finite automata are used to describe functions, geometric figures, fract...
10/28/2019

Weak equivalence of higher-dimensional automata

This paper introduces a notion of weak equivalence for higher-dimensiona...
03/28/2021

On symmetric higher-dimensional automata and bisimilarity

It is shown that a higher-dimensional automaton is hhp-bisimilar to the ...
05/31/2021

Composing Networks of Automated Market Makers

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