Retour au site du LAAS-CNRS

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

Ajouter au panier 36774

LCS users manual. Version 5.0

B.BERTHOMIEU

OLC

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

Diffusable

Ajouter au panier 28354

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

Ajouter au panier 34517

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

Ajouter au panier 12777

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

Ajouter au panier 11712

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

Ajouter au panier 11803

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

Ajouter au panier 11711

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

Ajouter au panier 8687

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

Ajouter au panier 10373

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

Ajouter au panier 9538