Concrete constructions of noncommutative free dcpo semigroups
Free dcpo semigroups play an important role in modeling the semantics of nondeterministic programming languages. In this paper, we provide concrete constructions for free dcpo semigroups, free domain bands (with additional inequalities), and free dcpo groups. They are the noncommutative generalizations of the classical Plotkin (Smyth, Hoare) powerdomains.
Authors
- Wei Luan (ORCID: https://orcid.org/0000-0002-4522-2980)
- Cheng Zhou (ORCID: https://orcid.org/0000-0002-9822-914X)
- Qingguo Li (ORCID: https://orcid.org/0000-0002-4314-7489)
Institutions
- Hunan University (CN)
- Hunan Normal University (CN)
Publication Details
- Journal
- Journal of Algebra and Its Applications
- Published
- 2025-01-09
- DOI
- https://doi.org/10.1142/s0219498826501318
- Primary Topic
- Machine Learning and Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00