18 124 680 livres à l’intérieur 176 langues
2 869 855 livres numériques à l’intérieur 110 langues
Cela ne vous convient pas ? Aucun souci à se faire ! Vous pouvez retourner les articles jusqu'à 30 jours
Impossible de faire fausse route avec un bon d’achat. Le destinataire du cadeau peut choisir ce qu'il veut parmi notre sélection.
Jusqu'à 30 jours pour les retours
The ECOOP '91 Workshop on Object-Based Concurrent Computing§was organized toprovide a forum on concurrent, distributed§and open-ended computing. The emphasis was on conceptual,§theoretical and formal aspects, as well as practical aspects§and sound experience, since such a viewpoint was deemed§indispensible to investigate and establish a basis for§future development.§This volume contains 12 papers selected from 25 presented at§the workshop, together with a paper by J.A. Goguen, who was§an invited speaker at the workshop. The papers are§classified into four categories:§Formal methods (1): three papers are concerned with the§formal semantics of concurrent objects based on process§calculi.§Formal methods (2): four papers are concerned with various§formal approaches to the semantics of concurrent programs.§Concurrent programming: three papers.§Models: three papers areconcerned with models for§concurrent systems.