Started by small group of well known scientists with the aim of sharing knowledge, experiences, and results on all aspects ...
Lire la suite
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
Lire la suite
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...
Lire la suite
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lire la suite
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Lire la suite
Guerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions ...
Lire la suite
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
Lire la suite
This volume contains the reports from the workshopsheld at the 21st European Conference on Object-Oriented Programming - ...
Lire la suite
Covers the techniques of parallel programming in a practical manner that enables students to write and evaluate their parallel ...
Lire la suite
Covers the new development in processor architecture and parallel hardware. It provides detailed descriptions of parallel ...
Lire la suite