• Concrete constructions of nonc...

Treffer: Concrete constructions of noncommutative free dcpo semigroups.

Title:
Concrete constructions of noncommutative free dcpo semigroups.
Authors:
Zhou, Chengyu1 (AUTHOR) zhouchy126@126.com, Luan, Wei2 (AUTHOR) mathluan@163.com, Li, Qingguo1 (AUTHOR) liqingguoli@aliyun.com
Source:
Journal of Algebra & Its Applications. Feb2025, p1. 26p.
Subject Terms:
*PROGRAMMING language semantics, *CONCRETE construction, *FREE groups, *ALGEBRA, *GENERALIZATION
Database:
Academic Search Index

Weitere Informationen

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. [ABSTRACT FROM AUTHOR]