Publications personnelle

91documents trouvés

97054
29/09/1999

The agent graph coordination approach for the design of distributed cooperative systems

K.DRIRA, B.BERTHOMIEU, M.DIAZ

OLC

Manifestations avec acte à diffusion limitée : Computer Supported Cooperative Work in Design 99 (CSCWD'99), Compiègne (France), 29 Septembre - 1er Octobre 1999, pp.361-366 , N° 97054

Diffusable

36774
98269
01/06/1998

LCS users manual. Version 5.0

B.BERTHOMIEU

OLC

Rapport LAAS N°98269, Juin 1998, 182p.

Diffusable

28354
96215
01/01/1997

CCS programming in a ML framework. An account of LCS

B.BERTHOMIEU

OLC

Ouvrage (contribution) : ML With concurrency. Design, analysis, implementation, and application, Monographs in Computer Science. Ed. .F.Nielson, Springer, N°ISBN 0-387-94875-9, 1997, pp.59-96 , N° 96215

Diffusable

34517
95435
02/10/1995

Process calculi at work. An account of the LCS project

B.BERTHOMIEU

OLC

Manifestation avec acte : Workshop on Parallel Symbolic Languages and Systems (PSLS'95), Beaune (France), 2-4 Octobre 1995, 17p. , N° 95435

Diffusable

12777
95135
30/05/1995

Une méthodologie de typage polymorphe des calculs de processus à liaison noms-canaux dynamique

C.LE MONIES DE SAGAZAN, B.BERTHOMIEU

OLC

Manifestation avec acte : 7èmes Rencontres Francophones du Parallélisme, Mons (Belgique), 30 Mai - 2 Juin 1995 (Résumé) , N° 95135

Diffusable

11712
95158
26/05/1995

A calculus of tagged types, with applications to process languages

B.BERTHOMIEU, C.LE MONIES DE SAGAZAN

OLC

Manifestation avec acte : Workshop on Types for Program Analysis, Aarhus (Danemark), 26-27 Mai 1995, pp.1-15 , N° 95158

Diffusable

11803
95135
04/04/1995

Une méthodologie de typage polymorphe des calculs de processus à liaison noms-canaux dynamique

C.LE MONIES DE SAGAZAN, B.BERTHOMIEU

OLC

Manifestation avec acte : Journées "Formalisation des Activités Concurrentes" (FAC'95), Toulouse (France), 4-5 Avril 1995, pp.107-125 , N° 95135

Diffusable

11711
93384
06/09/1994

Dynamic load balancing for systems with large and fast variation of load

T.LE SERGENT, B.BERTHOMIEU

OLC

Manifestation avec acte : CONPAR'94, Linz (Autriche), 6-8 Septembre 1994, 20p. , N° 93384

Diffusable

8687
94362
01/07/1994

A polymorphic type system for process calculi with dynamically bound channels

B.BERTHOMIEU, C.LE MONIES DE SAGAZAN

OLC

Rapport LAAS N°94362, Juillet 1994, 13p.

Diffusable

10373
94054
11/04/1994

Programming with behaviors in an ML framework. The syntax and semantics of LCS

B.BERTHOMIEU, T.LE SERGENT

OLC

Manifestation avec acte : 5th European Symposium on Programming, Edinburgh (GB), 11-13 Avril 1994 , N° 94054

Diffusable

9538
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de fonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/