Higher-dimensional automata modeling shared-variable systems

01/23/2018
by   Thomas Kahl, et al.
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

research
02/20/2018

Higher-Dimensional Timed Automata

We introduce a new formalism of higher-dimensional timed automata, based...
research
07/14/2021

Composition of choreography automata

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

Finite Automata Encoding Functions

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

Weak equivalence of higher-dimensional automata

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

On symmetric higher-dimensional automata and bisimilarity

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

Composing Networks of Automated Market Makers

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

Please sign up or login with your details

Forgot password? Click here to reset