Search - Centre de Mathématiques Appliquées Access content directly

Filter your results

5 Results
Deposit type : Fulltext
Image document

Algebre de processus et synchronisation

Didier Austry , Gérard Boudol
[Rapport de recherche] RR-0187, INRIA. 1983
Reports inria-00076371v1
Image document

An optimal triangulation for second order elliptic problems

Michel Delfour , G. Payre , J.P. Zolesio
[Research Report] RR-0420, INRIA. 1985
Reports inria-00076136v1
Image document

Algebraic calculi of processes and net expressions

Georges Gonthier
[Research Report] RR-0367, INRIA. 1985
Reports inria-00076189v1
Image document

The Esterel synchronous programming language and its mathematical semantics

Gérard Berry , L. Cosserat
[Research Report] RR-0327, INRIA. 1984
Reports inria-00076230v1
Image document

Some syntactic and categorical constructions of lambda-calculus models

Gérard Berry
[Research Report] RR-0080, INRIA. 1981, pp.48
Reports inria-00076481v1