Offers an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. Presents and analyses many implementation strategies that can readily be used by developers of distributed systems.
A Theory of Distributed Objects
and over one million other books are available for Amazon Kindle.
Learn more
| ||||||||||||||||||||
Book Description
Editorial Reviews
About the Author
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.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
You will find at the end of this book a list of notations and a summary of ASP syntax and semantics that should provide a convenient quick reference (Index of Notations, Syntax, Operational Semantics). Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
modulo future updates, future value list, confluent features, parallel binary tree, interfering requests, forwarded futures, departing queue, dataflow synchronization, alias conditions, asynchronous method calls, distributed calculi, reply rule, object calculi, future equivalence, future identifier, superficial copy, sequential calculus, eager strategies, concurrent calculi, strict operation, deep copy, confluence property, concurrent calculus, confluence properties, blocking service Key Phrases - Capitalized Phrases (CAPs): (learn more)
New York, Denis Caromel, Aspects Values, Communication Passing Generalized, Deterministic Object Networks, Asynchronous Sequential Processes, Loosing Rendezvous, Parallel Semantics, Confluence Proofs, International Conference, Theoretical Computer Science, Activity Expression, Cédric Fournet, Davide Sangiorgi, European Conference, Françoise Baude, Gul Agha, New Jersey, Robin Milner, Englewood Cliffs, Ludovic Ilenrio, Massimo Merro, More Confluent Features, Versus Other Concurrent Calculi, Addison-Wesley Longman New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
You will find at the end of this book a list of notations and a summary of ASP syntax and semantics that should provide a convenient quick reference (Index of Notations, Syntax, Operational Semantics). Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
modulo future updates, future value list, confluent features, parallel binary tree, interfering requests, forwarded futures, departing queue, dataflow synchronization, alias conditions, asynchronous method calls, distributed calculi, reply rule, object calculi, future equivalence, future identifier, superficial copy, sequential calculus, eager strategies, concurrent calculi, strict operation, deep copy, confluence property, concurrent calculus, confluence properties, blocking service Key Phrases - Capitalized Phrases (CAPs): (learn more)
New York, Denis Caromel, Aspects Values, Communication Passing Generalized, Deterministic Object Networks, Asynchronous Sequential Processes, Loosing Rendezvous, Parallel Semantics, Confluence Proofs, International Conference, Theoretical Computer Science, Activity Expression, Cédric Fournet, Davide Sangiorgi, European Conference, Françoise Baude, Gul Agha, New Jersey, Robin Milner, Englewood Cliffs, Ludovic Ilenrio, Massimo Merro, More Confluent Features, Versus Other Concurrent Calculi, Addison-Wesley Longman New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 12
books:
See all 12 books this book cites
- Logic and Algebra of Specification (Nato a S I Series Series III, Computer and Systems Sciences) by Friedrich L. Bauer on page 316
- A Theory of Objects (Monographs in Computer Science) by Martin Abadi on page 309
- Object-Oriented Concurrent Programming (Artificial Intelligence) by Akinori Yonezawa on page 319
- Communication and Concurrency (Prentice Hall International Series in Computer Science) by Robin Milner on page 316
- Concurrent Programming in Java: Design Principles and Patterns (Java Series) by Douglas Lea on page 316
See all 12 books this book cites
Books on Related Topics
(learn more)
|
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Hardware > Microprocessors & System Design
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Science & Math > Mathematics
