AI Chat AI Image Generator AI Video Text to Speech

On symmetric higher-dimensional automata and bisimilarity

03/28/2021

∙

by Thomas Kahl, et al.

∙

∙

It is shown that a higher-dimensional automaton is hhp-bisimilar to the free symmetric HDA generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power.

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...

0 Uli Fahrenberg, et al. ∙

research

∙ 10/01/2019

Series Representation of Jointly SαS Distribution via A New Type of Symmetric Covariations

We introduce a new measure of dependency between coordinates of a symmet...

0 Yujia Ding, et al. ∙

research

∙ 06/15/2018

A 5-Dimensional Tonnetz for Nearly Symmetric Hexachords

The standard 2-dimensional Tonnetz describes parsimonious voice-leading ...

0 Vaibhav Mohanty, et al. ∙

research

∙ 06/10/2022

Some Extremal Symmetric Inequalities

Let ℋ_n,d^s := ℝ[x_1,…, x_n]_d^𝔖_n be the set of symmetric polynomials o...

0 Tetsuya Ando, et al. ∙

research

∙ 01/06/2022

Codes from symmetric polynomials

We define and study a class of Reed-Muller type error-correcting codes o...

0 Mrinmoy Datta, et al. ∙

research

∙ 07/03/2017

On Blockwise Symmetric Matchgate Signatures and Higher Domain #CSP

For any n≥ 3 and q≥ 3, we prove that the Equality function (=_n) on n ...

0 Zhiguo Fu, et al. ∙

research

∙ 01/23/2018

Higher-dimensional automata modeling shared-variable systems

The purpose of this paper is to provide a construction to model shared-v...

0 Thomas Kahl, et al. ∙