Denis Caromel is full professor at University of Nice-Sophia Antipolis (UNSA). He is also member of the Institut Universitaire de France (IUF), a multi-disciplinary national academia that selects a few professors based on the excellence of their research records. His research interests include parallel, concurrent, and distributed object-oriented programming, the semantics of sequential and parallel languages for the sake of automatic and semi-automatic parallelization. Ludovic Henrio graduated from Ecole Polytechnique in Paris. He is currently a PHD candidate at University of Nice Sophia Antipolis -- CNRS -- INRIA. His research interests include semantics for concurrent, parallel and distributed calculi, static analysis, design and implementation of object-oriented languages.

• Review.- Analysis.- Formalisms and Distributed Calculi.- ASP Calculus.- An Imperative Sequential Calculus.- Asynchronous Sequential Processes.- A Few Examples.- Semantics and Properties.- Parallel Semantics.- Basic ASP Properties.- Confluence Property.- Determinacy.- A Few More Features.- More Confluent Features.- Non-Confluent Features.- Migration.- Groups.- Components.- Channels and Reconfigurations.- Implementation Strategies.- A Java API for ASP: ProActive.- Future Update.- Loosing Rendezvous.- Controlling Pipelining.- Garbage Collection.- Final Words.- ASP Versus Other Concurrent Calculi.- Conclusion.- Epilogue.

Denis Caromel is full professor at University of Nice-Sophia Antipolis (UNSA). He is also member of the Institut Universitaire de France (IUF), a multi-disciplinary national academia that selects a few professors based on the excellence of their research records. His research interests include parallel, concurrent, and distributed object-oriented programming, the semantics of sequential and parallel languages for the sake of automatic and semi-automatic parallelization. Ludovic Henrio graduated from Ecole Polytechnique in Paris. He is currently a PHD candidate at University of Nice Sophia Antipolis -- CNRS -- INRIA. His research interests include semantics for concurrent, parallel and distributed calculi, static analysis, design and implementation of object-oriented languages.

• Review.- Analysis.- Formalisms and Distributed Calculi.- ASP Calculus.- An Imperative Sequential Calculus.- Asynchronous Sequential Processes.- A Few Examples.- Semantics and Properties.- Parallel Semantics.- Basic ASP Properties.- Confluence Property.- Determinacy.- A Few More Features.- More Confluent Features.- Non-Confluent Features.- Migration.- Groups.- Components.- Channels and Reconfigurations.- Implementation Strategies.- A Java API for ASP: ProActive.- Future Update.- Loosing Rendezvous.- Controlling Pipelining.- Garbage Collection.- Final Words.- ASP Versus Other Concurrent Calculi.- Conclusion.- Epilogue.