Orthogonal extensions in structural operational semanticsMOHAMMAD REZA MOUSAVI; RENIERS, Michel A.Lecture notes in computer science. 2005, pp 1214-1225, issn 0302-9743, isbn 3-540-27580-0, 12 p.Conference Paper

Toy(FD): Sketch of operational semanticsFERNANDEZ, Antonio J; HORTALA-GONZALEZ, Teresa; SAENZ-PEREZ, Fernando et al.Lecture notes in computer science. 2003, pp 827-831, issn 0302-9743, isbn 3-540-20202-1, 5 p.Conference Paper

NONR FOR SEMANTICSASHCROFT EA; WADGE WW.1982; ACM TRANS. PROGRAM. LANG. SYST.; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 2; PP. 283-294; BIBL. 30 REF.Article

POWERDOMAINS AND NONDETERMINISTIC RECURSIVE DEFINITIONSHENNESSY MCB.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 178-193; BIBL. 23 REF.Conference Paper

DEFINICION SEMANTICA EN LENGUAJES DE PROGRAMACION = DEFINITION SEMANTIQUE DE LANGAGES DE PROGRAMMATIONOREJAS F.1981; NOVATICA; ISSN 0211-2124; ESP; DA. 1981; VOL. 7; NO 38-39; PP. 27-34; 7 P.; BIBL. 50 REF.Article

A PROPOSAL FOR OPERATIONAL SEMANTICS AND EQUIVALENCE OF FINITE ASYNCHRONOUS PROCESSESMEJIA L.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 387-400; BIBL. 8 REF.Conference Paper

SEMANTICS OF CSP VIA TRANSLATION INTO CCSASTESIANO E; ZUCCA E.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 118; PP. 172-182; BIBL. 10 REF.Conference Paper

UNE SEMANTIQUE OPERATIONNELLE DE PROCESSUS DISTRIBUES ASYNCHRONES = AN OPERATIONAL SEMANTIC OF ASYNCHRONOUS DISTRIBUTED PROCESSESMEJIA ESLAVA LUIS FERNANDO.1981; ; FRA; DA. 1981; NON PAG.; 30 CM; BIBL. 20 REF.; TH. 3E CYCLE: MATH./PARIS 7/1981Thesis

CORRECTNESS OF PROGRAMS WITH FUNCTION PROCEDURESDE BAKKER JW; KLOP JW; MEYER JJC et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 94-112; BIBL. 23 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

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

AN OPERATIONAL SEMANTICS FOR CSPPLOTKIN G.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 250-252; BIBL. 2 REF.Conference Paper

ON EFFECTIVE COMPUTATIONS OF NON-DETERMINISTIC SCHEMESPOIGNE A.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 313-336; BIBL. 16 REF.Conference Paper

A THEORY OF NONDETERMINISMKENNAWAY JR; HOARE CAR.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 338-350; BIBL. 6 REF.Conference Paper

DEFINITION OPERATIONNELLE DE LA SEMANTIQUE DU LANGAGE PLASMA: REALISATION D'UN INTERPRETE META-CIRCULAIRE DE REFERENCE = OPERATIONAL DEFINITION OF THE SEMANTICS OF THE PLASMA LANGUAGE: CREATION OF A METACIRCULAR REFERENCE INTERPRETERMAUREL CHRISTINE.1982; ; FRA; DA. 1982; 158 P.; 30 CM; BIBL. 4 P.; TH. 3E CYCLE: INFORM./TOULOUSE 3/1982/2741Thesis

APPLICATIVE COMMUNICATING PROCESSES IN FIRST ORDER LOGICBELLIA M; DEGANO P; LEVI G et al.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 1-14; BIBL. 24 REF.Conference Paper

UNE SEMANTIQUE OPERATIONNELLE DE PROCESSUS DISTRIBUES ASYNCHRONES = AN OPERATIONAL SEMANTICS OF ASYNCHRONOUS DISTRIBUTED PROCESSESMEJIA ESLAVA LF.1981; ; FRA; DA. 1981; 206 P.; 30 CM; BIBL. 20 REF.; TH. 3E CYCLE: MATH./PARIS 7/1981Thesis

Proving correctness and completeness of normal programs: A declarative approachDRABENT, Włodzimierz; MIŁKOWSKA, Mirosława.Lecture notes in computer science. 2001, pp 284-299, issn 0302-9743, isbn 3-540-42935-2Conference Paper

Semantics of normal logic programs with embedded implicationsOREJAS, Fernando; PASARELLA, Edelmira; PINO, Elvira et al.Lecture notes in computer science. 2001, pp 255-268, issn 0302-9743, isbn 3-540-42935-2Conference Paper

Proving the correctness of optimising destructive and non-destructive reads over tuple spacesDE NICOLA, Rocco; PUGLIESE, Rosario; ROWSTRON, Antony et al.Lecture notes in computer science. 2000, pp 66-80, issn 0302-9743, isbn 3-540-41020-1Conference Paper

Weak semantics based on lighted button pressing experiments : An alternative characterization of the readiness semanticsINGOLFSDOTTIR, A.Lecture notes in computer science. 1997, pp 226-243, issn 0302-9743, isbn 3-540-63172-0Conference Paper

Priority Rewrite systems for OSOS process languagesULIDOWSKI, Irek.Lecture notes in computer science. 2003, pp 87-102, issn 0302-9743, isbn 3-540-40753-7, 16 p.Conference Paper

A non-SOS operational semantics for a process algebraFRACZAK, W; ZAREMBA, M. B.Information processing letters. 1998, Vol 68, Num 1, pp 47-54, issn 0020-0190Article

Contribution à la réalisation d'une spécification formelle pour PROLOGRichard, Gilles; Lorho, Bernard.1989, 195 p.Thesis

Proving properties of dynamic process networksDAM, M.Information and computation (Print). 1998, Vol 140, Num 2, pp 95-114, issn 0890-5401Article