Semirings, automata, languages
Semirings, automata, languages
Algebraic approaches to program semantics
Algebraic approaches to program semantics
Process algebra
Marcus contextual grammars with shuffled contexts
Mathematical aspects of natural and formal languages
Sum-ordered partial semirings
Semirings in operations research and computer science: more algebra
Fundamenta Informaticae
A coalgebraic approach to non-determinism: Applications to multilattices
Information Sciences: an International Journal
Non-deterministic algebraic structures for soft computing
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Hi-index | 0.00 |
This note begins a study of some elementary properties related to the order structures applied in the algebraic approach to processes semantics. The support examples come from the partially additive semantics developed by Steenstrup (1985) and Manes and Arbib (1986) and from process algebra of Baeten and Weijland (1990). The main sources for the algebraic theory are F.A. Smith (1966) and Golan (1999). We show that different properties can be extended to partially additive distributive algebras more general than sum-ordered partial semirings. One establishes that the support examples constitute multilattices, in the sense of Benado (1955). By the examples, the ordering considered, and the references, this preliminary study is related to Rudeanu et al. (2004) and to the algebraic approach to languages due to Mateescu, e.g., (1996), (1989), (1994).