A denotational semantics for Handel-CBUTTERFIELD, Andrew.Formal aspects of computing. 2011, Vol 23, Num 2, pp 153-170, issn 0934-5043, 18 p.Article

THE DENOTATIONAL SEMANTICS OF SEQUENTIAL MACHINESGORDON MJC.1980; INFORM. PROCESSG LETTERS; NLD; DA. 1980; VOL. 10; NO 1; PP. 1-3; BIBL. 2 REF.Article

A DENOTATIONAL FRAMEWORK FOR DATA FLOW ANALYSISNIELSON F.1983; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1983; VOL. 18; NO 3; PP. 265-287; BIBL. 15 REF.Article

DOMAINS FOR DENOTATIONAL SEMANTICSSCOTT DS.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 577-613; BIBL. 3 P.Conference Paper

IN-SCOTT-STARCHY STYLE DENOTATIONAL SEMANTICS, PARALLELISM IMPLIES NONDETERMINISMBENSON DB.1982; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1982; VOL. 15; NO 3; PP. 265-275; BIBL. 16 REF.Article

A POWERDOMAIN FOR COUNTABLE NON-DETERMINISMPLOTKIN GD.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 418-428; BIBL. 16 REF.Conference Paper

CONSISTENT SEMANTICS FOR A DATA FLOW LANGUAGEBROCK JD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 168-180; BIBL. 13 REF.Conference Paper

EXPERIMENTS IN BLOCK-STRUCTURED GOTO LANGUAGE MODELING EXITS VERSUS CONTINUATIONSBJORNER D.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 216-247; BIBL. 21 REF.Conference Paper

MODELS OF PROGRAMMING LANGUAGE CONCEPTSJONES CB.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 100-143; BIBL. 2 P.Conference Paper

A TERM MODEL FOR CCSHENNESSY MCB; PLOTKIN GD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 261-274; BIBL. 23 REF.Conference Paper

A new category for semanticsSCOTT, Dana S.Lecture notes in computer science. 2001, pp 1-2, issn 0302-9743, isbn 3-540-42496-2Conference Paper

THE CONGRUENCE OF TWO PROGRAMMING LANGUAGE DEFINITIONSSTOY JE.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 13; NO 2; PP. 151-174; BIBL. 16 REF.Article

THE SEMANTICS OF CLEAR, A SPECIFICATION LANGUAGEBURSTALL RM; GOGUEN JA.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 292-332; BIBL. 2 P.Conference Paper

FULLY ABSTRACT MODELS OF TYPED LAMBDA -CALCULI.MILNER R.1977; THEOR. COMPUTER SCI.; NETHERL.; DA. 1977; VOL. 4; NO 1; PP. 1-22; BIBL. 11 REF.Article

LOGIC AND PROGRAMMING LANGUAGES.SCOTT DS.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 9; PP. 634-641; BIBL. 14 REF.Article

EVENT STRUCTURE SEMANTICS FOR CCS AND RELATED LANGUAGESWINSKEL G.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 561-576; BIBL. 15 REF.Conference Paper

SEQUENTIAL ALGORITHMS ON CONCRETE DATA STRUCTURESBERRY G; CURIEN PL.1982; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1982; VOL. 20; NO 3; PP. 265-321; BIBL. 35 REF.Article

A TERM MODEL FOR SYNCHRONOUS PROCESSESHENNESSY M.1981; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1981; VOL. 51; NO 1; PP. 58-75; BIBL. 10 REF.Article

COMPUTABILITY IN CATEGORIESSMYTH MB.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 609-620; BIBL. 30 REF.Conference Paper

FORMALIZATION OF DATA BASE MODELSBJORNER D.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 144-215; BIBL. 9 REF.Conference Paper

NONDETERMINISM AND JULLY ABSTRACT MODELSASTESIANO E; COSTA G.1980; R.A.I.R.O. INFORM. THEOR.; ISSN 0399-0540; FRA; DA. 1980; VOL. 14; NO 4; PP. 323-347; ABS. FRE; BIBL. 10 REF.Article

EXERCISES IN DENOTATIONAL SEMANTICS.APT KR; DE BAKKER JW.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; NO 45; PP. 1-11; BIBL. 12 REF.; (MATH. FOUND COMPUT. SCI. SYMP. 5. PROC.; GDANSK; 1976)Conference Paper

FULL ABSTRACTION FOR SEQUENTIAL LANGUAGES: THE STATE OF THE ART = MODELE COMPLETEMENT ADEQUAT DE LANGAGES SEQUENTIELS: L'ETAT DE L'ARTBERRY GERARD; CURIEN PIERRE LOUIS; LEVY JEAN JACQUES et al.1983; ; FRA; PARIS: IMPR. I.N.R.I.A.; DA. 1983; INRIA/RR-197; 43 P.; 30 CM; ABS. FRE; BIBL. 46 REF.;[RAPP. RECH.-I.N.R.I.A.; ISSN 0249-6399; NO 197]Report

CIRCULAR EXPRESSIONS: ELIMINATION OF STATIC ENVIRONMENTSSETHI R.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 378-392; BIBL. 2 P.Conference Paper

CONSTRUCTING CALL-BY-VALUE CONTINUATION SEMANTICSSETHI R; TANG A.1980; J. ASS. COMPUTG MACHIN; USA; DA. 1980; VOL. 27; NO 3; PP. 580-597; BIBL. 16 REF.Article