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

NONDETERMINISM AND BOOLEAN OPERATIONS IN PDA'S.WOTSCHKE D.1978; J. COMPUTER SYST. SCI.; USA; DA. 1978; VOL. 16; NO 3; PP. 456-461; BIBL. 16 REF.Article

A proof-theoretic characterization of observational equivalenceSTIRLING, C.Theoretical computer science. 1985, Vol 39, Num 1, pp 27-45, issn 0304-3975Article

A programming language for the inductive sets, and applicationsHAREL, D; KOZEN, D.Information and control. 1984, Vol 63, Num 1-2, pp 118-139, issn 0019-9958Article

A POWERDOMAIN CONSTRUCTION.PLOTKIN PG.1976; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1976; VOL. 5; NO 3; PP. 452-487; BIBL. 21 REF.Article

A semantics for static type inference in a nondeterministic languageABADI, M.Information and computation (Print). 1994, Vol 109, Num 1-2, pp 300-306, issn 0890-5401Conference Paper

Transaction languages for database update and specification; Langages transactionnels pour mises-à-jour et spécification de bases de donnéesABITEBOUL, Serge; VIANU, Victor.Rapports de recherche - INRIA. 1987, Vol 715, issn 0249-6399, 64 p.Report

Rapport d'activités 1991-1992 : programme de recherches coordonnées BD3 = Progress report 1991-1992 : research program Coordonnées BD3Valduriez, Patrick.1992, 219 p.Report