Creator |
|
|
Language |
|
Publisher |
|
|
Date |
|
Source Title |
|
Vol |
|
Issue |
|
First Page |
|
Last Page |
|
Publication Type |
|
Access Rights |
|
Crossref DOI |
|
Related DOI |
|
|
Related URI |
|
|
Relation |
|
|
Abstract |
In this paper we propose tree expressions which represent transition diagrams of finite transition systems by algebraic formulas. We consider the cartesian product of transition systems and present a ...product formula of tree expressions. By the product formula we easily get the tree expression of the product of transition systems represented by tree expressions.show more
|