Keyword: Dcpo Algebras : Search

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.

Advanced Search

SEARCH GUIDE

Results: 1 - 1of1

Follow results:

per page:

Sort: Relevance

Context for search term 1Search term 1*

All Dates

LastSelect static range

Custom Range

Select starting monthSelect starting year

Select ending monthSelect ending year

Search name	Searched On	Run search
Keyword: Dcpo Algebras (1)	31 Mar 2025	Run
Keyword: XG Boost Tree (1)	31 Mar 2025	Run
Keyword: Multipolarity (3)	31 Mar 2025	Run
Keyword: Maladaptation (2)	31 Mar 2025	Run
Keyword: Torus Network (2)	31 Mar 2025	Run

articleNo Access
Concrete constructions of noncommutative free dcpo semigroups
- Chengyu Zhou,
- Wei Luan, and
- Qingguo Li
Journal of Algebra and Its Applications11 Feb 2025
Preview Abstract
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.

1