In this paper, we deal with nondeterministic automata, in particular, commutative asynchronous ones. Our goal is to give their isomorphic representation under the serial product or equivalently, under the α0-product. It turns out that this class does not contain any finite isomorphically complete system with respect to the α0-product. On the other hand, we present an isomorphically complete system for this class which consists of one monotone nondeterministic automaton of three elements
AbstractIn this paper we compare and study some properties of two mathematical models of concurrent ...
In this paper we compare and study some properties of two mathematical models of concurrent systems,...
AbstractIn the theory of finite automata it is an important problem to characterize such systems of ...
AbstractA necessary and sufficient condition is given for a class of automata to be (homomorphically...
AbstractIto (1976, 1978) [14,17] provided representations of strongly connected automata by group-ma...
AbstractIto (1976, 1978) [14,17] provided representations of strongly connected automata by group-ma...
This paper investigates the concepts of relational homomorphisms and their closely associated concep...
AbstractGiven a recognizable trace language T there always exists a minimum (up to isomorphism) mono...
AbstractGiven a recognizable trace language T there always exists a minimum (up to isomorphism) mono...
AbstractWe show the interest of the mixed (or synchronous) product for studying traces and trace lan...
The classes of automata characterized by certain semigroups are investigated: It isshown that the cl...
Given a recognizable trace language T there always exists a minimum (up to isomorphism) monoid autom...
AbstractIn this work it is shown that the general product is equivalent to the cube-product with res...
AbstractA necessary and sufficient condition is given for a class of automata to be (homomorphically...
AbstractIn this paper we compare and study some properties of two mathematical models of concurrent ...
AbstractIn this paper we compare and study some properties of two mathematical models of concurrent ...
In this paper we compare and study some properties of two mathematical models of concurrent systems,...
AbstractIn the theory of finite automata it is an important problem to characterize such systems of ...
AbstractA necessary and sufficient condition is given for a class of automata to be (homomorphically...
AbstractIto (1976, 1978) [14,17] provided representations of strongly connected automata by group-ma...
AbstractIto (1976, 1978) [14,17] provided representations of strongly connected automata by group-ma...
This paper investigates the concepts of relational homomorphisms and their closely associated concep...
AbstractGiven a recognizable trace language T there always exists a minimum (up to isomorphism) mono...
AbstractGiven a recognizable trace language T there always exists a minimum (up to isomorphism) mono...
AbstractWe show the interest of the mixed (or synchronous) product for studying traces and trace lan...
The classes of automata characterized by certain semigroups are investigated: It isshown that the cl...
Given a recognizable trace language T there always exists a minimum (up to isomorphism) monoid autom...
AbstractIn this work it is shown that the general product is equivalent to the cube-product with res...
AbstractA necessary and sufficient condition is given for a class of automata to be (homomorphically...
AbstractIn this paper we compare and study some properties of two mathematical models of concurrent ...
AbstractIn this paper we compare and study some properties of two mathematical models of concurrent ...
In this paper we compare and study some properties of two mathematical models of concurrent systems,...
AbstractIn the theory of finite automata it is an important problem to characterize such systems of ...