SCOPUS 정보 검색 플랫폼

Volumn 40, Issue 1, 1991, Pages 7-11

Lower and upper power domain constructions commute on all cpos

Author keywords

algebraic theories; cpo's; domain theory; Formal semantics; free frame over a cpo; power domains

Indexed keywords

EID: 0040119320 PISSN: 00200190 EISSN: None Source Type: Journal
DOI: 10.1016/S0020-0190(05)80003-1 Document Type: Article

Times cited : (9)

References (7)

1
- 0025415132
- The Hoare and Smyth power domain constructors commute under composition
- (1990) J. Comput. System Sci. , vol.40 , pp. 125-135
- Flannery¹ Martin²

2
- 0038555977
- Power domain constructions
- Universität des Saarlandes
- (1990) Ph.D. Thesis
- Heckmann¹

3
- 84909811656
- Power dornain constructions
- to appear
- (1991) Sci. Comput. Programming
- Heckmann¹

4
- 84909778761
- R. Heckmann, An upper power domain construction in terms of strongly compact sets, accepted by MFPS '91.

5
- 85034261970
- Full abstraction for a simple parallel programming language
- J. Becvar, Lecture Notes in Computer Science, Springer, Berlin
- (1979) Foundations of Computer Science , vol.74 , pp. 108-120
- Hennessy¹ Plotkin²

6
- 34547711748
- Powerdomains
- Rijksuniversiteit Utrecht
- (1987) Tech. Rept. RUU-CS-87-23
- Hoofman¹

7
- 0005910381
- Topology via Logic
- Cambridge University Press, Cambridge
- (1989) Cambridge Tracts in Theoretical Computer Science , vol.5
- Vickers¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.