Book Description
Concurrency is an area of software design that is vital in a wide range of applications where responsiveness are issues. They are especially important in the development of control systems. By their nature, concurrent programs are more complex, and therefore more difficult to reason than sequential programs. In order to ensure a thorough understanding of concurrency, concepts, techniques and problems are presented in many forms, through informal descriptions and illustrative examples, abstractly in models, and concretely in Java.
Customer Reviews:
Copy/Paste authors that have never used Java?.......2006-08-15
As indicated by other reviewers, this is a book that talks about things involved with programs/threads talking to each other. Unfortunately, for some mysterious reason the authors decided to include Java in the text & title. THis was obviously an afterthought, and a very disappointing one.
I can only think that the authors decided to put "Java" in the title to boost sales. It worked-I bought the book.
Where to start? Well, start with the basics: threads. This book was last released in April 2006, yet only talks topically about the Thread class, and none of the really exciting thread classes in J2SE5. If you're looking for really useful information on thread pools and executors, forget it. The authors didn't realize they existed.
But it gets better. The entire concept of bounded and unbounded queues is missed. Blocking and unblocking queues never get a word. In fact, there are NO entries in the index under the letter "Q". Synchronous and Asynchronous queues? Nope. Cached threading pools? Sorry. Performance considerations for atomic, lock, and concurrent methods of class, method, and attribute concurrency? Nada. Absolutely no classes under java.util.concurrent are mentioned beyond the most basic, legacy Thread class. They don't even talk about command line switches important to concurrent programming (-X*), or the Runtime classes designed to help avoid OutOfMemory Heap problems!
I got more from a single chapter of Bruce Eckel's TIJ4 than from this entire book-and TIJ4 isn't focused exclusively on Java concurrency!
I don't know where to put this book. It is like an old reference book for a college course taught by a crusty old professor that still thinks the Information Highway might amount to something one day. We've all had that professor. There is nothing in this book about 1.5, except for the even more puzzling addition of generics in some of the code examples!
I would be stunned to find out that the authors have ever written anything in Java in their lives. They seem like academics that are used to teaching children who don't know enough yet to call them out on this "work". They found a few examples from some old CSC books laying around and passed this all off as a recent, current work. Nice try. The fact that they use generics in examples-and nothing else from April 2006-makes me bet that they just copied/pasted examples.
As a theory book about how queues work, a 4 out of 5. As a book passing itself off as having anything to do with Java, a 1 out of 5. I only give it a 1 because Amazon doesn't have a number in the rating scale that equates to "0", or "n/a".
Then again, Jeff Magee & Jeff Kramer might be on to something here. Hmm.. I think I'll write a book called "Designing User Interfaces to Java", and devote the whole book to how a mouse and keyboard work.
Pitiful.
This is could be a classic CS book.......1999-12-04
This book does not belong with other Java books. This is a real computer science textbook that should be sitting next to Rivest's Algorithms book. The use of Java is incidental and makes the book very accessible without detracting from the issues at hand. It has to be one of the most well conceived computer science books ever written.
The material covered is maddeningly difficult to master informally because concurrency errors often manifest themselves as rare, random, and disastrous events that cannot be reproduced. Most of the book is laying down a solid formal foundation in which to reason about concurrency; the only hope for getting it right when things are difficult. It also comes with analysis tools (in Java of course!) to help people who learn by exploration, experimentation, and visualisation.
extremely useful for understanding concurrency issues.......1999-11-17
It was only after reading that book that I was able to really understand the conecepts of interleaved actions, race conditions, semaphores and monitors (as well as other concurrency-related issues). As a newcomer to IT generally, reading this book enabled me to understand better the Operating Systems course at Imperial College. I think the reading of this book should precede any approach to a course on operating systems. As a final note, Jeff Kramer is one of the most popular lecturers at the department of computing of Imperial College. Many other studens I spoke too were convinced that his teaching was by far the most efficient. I strongly recommend the book! I still use it at work as an ever useful reference.
Concurrency for the new millenium.......1999-09-28
I have also used this book in manuscript form for two years at the University of Pretoria, South Africa, and am now using it in Victoria, Canada. In both cases, the book forms the introductory part to a larger course on object-oriented distributed systems.
Without this book the students would be lost in the mire of COM, RMI, CORBA etc and learn no principles to carry them through after graduation. Magee and Kramer package up the classical Hoare CSP in such a way that it is palatable, easy to use, and really illustrates difficult points to students on-line. Students say the course is fun. It is fitting that this book should appear just as Tony Hoare retires from Oxford. Magee and Kramer show how concurrency should be done in the new millenium.
Just one word of warning: there are five notations to master in the book: FSP modelling, LTS diagrams, UML diagrams, structure diagrams and Java. I found that being forewarned on this aspect helped me explain the need for all of them to students.
Excellent Textbook on Concurrency Theory and Practice.......1999-04-21
I have used Magee and Kramer's book (or rather their manuscript) twice in the UG programme of the Dept. of Computer Science at University Collge London. I used it to teach a 30 hours course on Concurrency to final year BSc students in Computer Science.
The book is very appealing for several reasons:
Firstly, it is the only available book that provides an engineering discipline to concurrency. It covers both a sound introduction to the theory of concurrency and practical guidelines how to design concurrent programs using the UML and Java.
Secondly, the book is nicely written indeed. The concepts are well motivated, the intriguingly difficult theory of concurrency is well explained and the book is full of examples that show both theory and practice of Concurrency.
Thirdly, the book is not only a book; it's a nicely boundled package. It comes with Java demonstration applets that I used to visualize concurrency concepts, such as Monitors, Mutual Exclusion and Fairness in the class room. Moreover, the book includes a CD with a tool that students (and professors) can use for modelling and model checking purposes. The tool implements labelled transition systems analysis and supports visualization of label transition system execution. Finally the web site that accompanies the book is full of exercises and exam questions and model answers are available too.
Using this material was a truly positive experience.
Book Description
Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. In order to develop a thorough understanding of the topic Magee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combine to provide problem patterns and associated solution techniques which enable students to recognise problems and arrive at solutions.
New features include:
- New chapters covering program verification and logical properties.
- More student exercises.
- Supporting website contains an updated version of the LTSA tool for modelling concurrency, model animation, and model checking.
- Website also includes the full set of state models, java examples, and demonstration programs and a comprehensive set of overhead slides for course presentation.
Customer Reviews:
Why this book is important........2007-06-13
There are several levels of understanding of practical concurrency.
At first you have a palette of tool in your language and you delve into creating multithreaded programs. Hopefully, soon you realize that you need to protect concurrently accessed data from corruption so you start to use low level protection operations to gate access to the data. Many programmers, who consider themselves adept at multi-threaded coding, never advance beyond this point.
Next you encounter race and deadlock issues. These can not be addressed by protecting your data because they are flaws in the state logic of your machine. You can address them with careful ordering of your operations, there are tools to help with detection and elimination and finally picking higher level concurrency constructs can help reduce these. Many programmers use these techniques but the same techniques are frequently an invitation to greater complexity without solving the underlying issue.
The next level, and I am not sure if it is the last, is when you realize that some form of state machine representation is the only consistent way to produce a safe concurrent program that does what you want. It has more to do with a clear model of the operations then it does with any form of concurrency construct. Even with the latest Java 5 threading and concurrency tools you still would need to model to know if your case effectively fits with the construct provided.
Okay, that was a long winded way of explaining why some people do not get this book. It is an important book but it is not a perfect book. I found the first half to be a rather slow introduction to concurrent statefulness. The cases covered are very basic, like Dining Philosophers. I enjoyed the second half more and found some useful information. The dependence on the LTSA modeling methods/tools I found cumbersome and of questionable usefulness. I think just UML Statecharts would have been more useful if less precise/provable.
The book explicitly uses only the lowest level of threading tools from Java, which they then use to build up to higher level constructs as illustration of modeling.
It is very clearly a mid-level undergraduate text book for Computer Science and it reads like it. If you are most interested in the current mechanics of threading under Java this would be a very bad first choice.
Concurrency fundamentals using a model-based approach.......2006-10-02
I have used the first edition of this textbook in a course on concurrent and real-time systems at The University of Queensland since 2001, and I am looking forward to using the second edition from next year. This textbook is an excellent introductory textbook to concurrency (in Java) in that it focuses on the foundations of concurrency, rather than the latest features and tricks in programming languages to make concurrent programs as efficient as possible.
My experience with teaching concurrent programming is that students find it difficult to write concurrent programs (even simple ones) that are error-free and anecdotal evidence from colleagues in industry indicates that the situation is not much different for many experienced programmers. As such, I believe that we should focus on the fundamentals when we teach concurrent programming and make sure that the students understand these before we move on to more advanced topics.
The model-based approach followed by the authors is also refreshing. While I don't believe that the model-based approach will eliminate the need for other V&V approaches such as testing, it is clear that models are and will play an increasingly important role in software engineering. The book introduces models of concurrent systems with a specific purpose in mind, provides tool support to analyse the models for properties of interest, and (perhaps most importantly) applies the model-based approach consistently throughout the book. Most of the extensions in the second edition are related to the model-based approach, including new chapters on program verification and on specifying and validating logical properties.
In summary, I highly recommend this book as an introductory text on concurrent programming, especially for those people interested in the rapidly evolving area of model-based development. If you are interested in the latest concurrency features of the Java programming language or how to write the most efficient concurrent programs, you may need to purchase other books (such as the ones by Doug Lea or Brian Goetz) as well.
Too dependent on FSP, LTS, and LTSA.......2006-09-30
I'm using the text this semester in my course, and while it presents the material in a clear enough way, I find the authors' dependence on the LTS/FSP language to model concurrency examples (and running these on a simulator - LTSA) adds just one extra layer my students have to master. The simulator does not include decent documentation (I've been trying to run a particular trace that the text suggests doing, but doesn't say how to - and I haven't found how to do it.) The FSP language takes a bit of effort to master; the text does have three appendices on FSP, but again, that's an extra layer the students have to understand.
Most of the text uses the FSP language to present models of processes. Finite state diagrams are also plentiful and add to the visual presentation. Sample Java code is also woven into the discussions - these graphical Java applets do have a "wow" factor. I think my reservations have to do with certain topics that could be easily presented but are made more complicated with the addition of elaborate FSP models that can slow down the reader. At times the material gets too far down into nuts and bolts when a more general view can work just as well.
Landmark book about the real issues.......2006-09-26
This is truly a landmark book, from Kramer and Magee who have been recognised by ACM SIGSOFT with the 2005 Outstanding Research Award for significant and lasting research contributions to the theory or practice of software engineering. That is something to live up to, and the book does so admirably.
"Concurrency" is the only book we have found that presents a sound formal approach to the subject in a palatable manner. We have used the book for nearly ten years to teach students from second year upwards how to reason about programs that run concurrently. The main contribution of the book is its use of the FSP notation and the accompanying LTSA state analyser. With these in hand, the student is led through the classical problems of mutual exclusion, monitors, deadlock, safety, liveness, bounded buffers and timed systems. Each chapter has a interesting real-life example, such as cars on a single-lane bridge, or a parcel routing machine, and each of these also runs as a Java applet. Students can interact with the applets to discover the effects of speed, overload and see how race conditions or deadlock can occur - something quite foreign to them in sequential programming. The Java programs are generated from the FSP, not automatically, but in a stylised way that enables students to understand the basic units of threading in any modern language. They do not make use of the latest Java libraries and tools for this specific reason, and are certainly not the main thrust of the book. The programs are described in UML as well as in structure diagrams more suited to concurrency.
The second edition has improved the exposition of several of the chapters and also added two more advanced chapters on verification and temporal logic. Together with the notes, further reading and exercises at the end of each chapter, this makes the book into a very useful resource for the practising programmer, as well as the student. Certainly, we have found students resorting to the techniques taught in this book when things get tough with big projects in later years.
Theory yes, practical no........2006-08-20
This book is a good example of how to sell a book to people based solely on it's title. I bought it, so they succeeded.
I'll try to be brief, and not rant. The book was obviously written by someone who knows some non-computer concurrency theory. Then another person pasted some examples from early versions of Java. Unfortunately, although the book was written in 2006, it has NOTHING about J2SE 5 in it-nothing.
The most important aspects of concurrency added to Java ever are ommitted. To give you an idea, there are NO entries in the index under the letter "Q". Seriously.
All of the really exciting stuff that "Thinking in Java 4" by Bruce Eckel covers are nowhere to be found in this old classroom text. The most useful components of Java concurrency communication are simply not part of this text. These include all the "Queus" in J2SE 5.
To me, the best part of Java concurrency is the new java.util.concurrent.BlockingQueue interface. LinkedBlockingQueues and ArrayBlockingQueues blow away the old wait(), notify() and notifyAll() way of doing things that this book still uses. Synchronized queues are simply amazing, and I really expected the text to at least talk about how to best use them. Nope.
Another example of something really useful that is ommitted in this "modern" text is the CountDownLatch. I can't believe you can write a book about threading and not include CountDownLatch and CyclicBarrier! Looking for examples of how to use the DelayQueue classes? Sorry-never heard of them. PriorityBlockingQueues? Nope.
Now I know what you must be thinking. "He's being awfully hard on the authors!". But you decide for yourself. Would you buy a book published this year about Java that had no mention of the Executor classes? Thats right, look elsewhere for info on CachedThreadPools, FixedThreadPools, SingleThreadExecutors, ExecutorServices, Futures, and even the most basic Callable.
I mean, seriously. How could they release a book like this with no mention of daemon threads? And of course no mention of the next wave of threading styles, Active Objects/Actors. All the examples are written in Applets, too...
Again, if you are looking for a book on high level theory and lots of strange drawings in bizarre formats that aren't even close to UML-this book is for you.
This is an OK reference for someone who has never heard of concurrency/threading, and has no intention of ever programming.
Update:
The book you really want is:
Java Concurrency in Practice
by Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, Doug Lea
Addison-Wesley Professional (May 9, 2006) (mine was July)
ISBN: 0321349601
Trains on all the covers? Whats up with that?
Book Description
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than algorithms, thus reflecting the shift in technology from number-crunching on mainframes to distributed intelligent networks with graphical user interfaces.
Goldin, Smolka, and Wegner have structured the 18 contributions from distinguished researchers into four sections: "Introduction", consisting of three chapters that explore and summarize the fundamentals of interactive computation; "Theory" with six chapters, each discussing a specific aspect of interaction; "Applications" showing in five chapters how this principle is applied in various subdisciplines of computer science; and "New Directions" presenting four multidisciplinary applications beyond computer science.
The book challenges traditional Turing machine-based answers to fundamental questions relating to problem solving and the scope of computation. Assuming the reader has only an undergraduate-level background in computer science, it serves as an introduction to this increasingly important discipline.
Book Description
Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices. But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability to build them. System level design is a critical component in the search for methods to develop designs more productively. However, there are a number of challenges that must be overcome in order to implement system level modeling.
This book directly addresses that need by developing organizing principles for understanding, assessing, and comparing the different models of computation necessary for system level modeling. Dr. Axel Jantsch identifies the representation of time as the essential feature for distinguishing these models. After developing this conceptual framework, he presents a single formalism for representing very different models, allowing them to be easily compared. As a result, designers, students, and researchers are able to identify the role and the features of the "right" model of computation for the task at hand.
*Offers a unique and significant contribution to the emerging field of models of computation
*Presents a systematic way of understanding and applying different Models of Computation to embedded systems and SoC design
*Offers insights and illustrative examples for practioners, researchers and students of complex electronic systems design.
Customer Reviews:
Now I understand how "modelling" covers many spheres..........2004-06-09
The writer of this book, Dr. Axel Jantsch, is a professor at the Royal Institute of Technology in Stockholm, Sweden. As a postgraduate student at the Technical University of Denmark, I have participated Dr. Jantsch's course whose curriculum was dictated by this book.
Dr. Jantsch is a splendid lecturer and his a pioneer in his comprehensive, yet highly-readable, cover of modelling technieques for embedded systems. The book covers in depth notions such as final state machines, petri nets, as well as the untimed, timed and synchronous computation models. Dr. Jantsch does not, unlike other sources, sticks only to the formalism related to the modelling, but also includes "real life" examples that make the reader apprieciate what model of computation is the more optimal for his modelling aims.
Average customer rating:
|
Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (Lecture Notes in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
 Software Development
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
UML
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
Systems Analysis & Design
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Professional
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Science
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 3540006249 |
Book Description
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.
Average customer rating:
|
Advances in Petri Nets 1990 (Lecture Notes in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
Design & Architecture
| Hardware
| Computers & Internet
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 3540538631 |
Book Description
The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON.
Average customer rating:
|
Advances in Petri Nets 1991 (Lecture Notes in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
Applied
| Mathematics
| Science
| Subjects
| Books
| Biomathematics
| Computer Mathematics
| Differential Equations
| Engineering
| Game Theory
| General
| Graph Theory
| Linear Programming
| Probability & Statistics
| Vector Analysis
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
Design & Architecture
| Hardware
| Computers & Internet
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Science
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 3540543988 |
Book Description
The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries.
Average customer rating:
|
Advances in Petri Nets 1993 (Lecture Notes in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
Computer Design
| Microprocessors & System Design
| Hardware
| Computers & Internet
| Subjects
| Books
Design & Architecture
| Hardware
| Computers & Internet
| Subjects
| Books
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
Systems Analysis & Design
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Operating Systems
| Computers & Internet
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 3540566899 |
Book Description
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. This volume is based on the proceedings of the 12th International Conference on Applications and Theory of Petri Nets, held in Gjern, Denmark, in June 1991. It contains 18 selected and revised papers covering all aspects of recent Petri net research.
Average customer rating:
|
CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
Computer Design
| Microprocessors & System Design
| Hardware
| Computers & Internet
| Subjects
| Books
Parallel Processing Computers
| Hardware
| Computers & Internet
| Subjects
| Books
General
| Hardware
| Computers & Internet
| Subjects
| Books
Compiler Design
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
Compilers
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Medicine
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Medicine
| Amazon Upgrade
| Stores
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Medicine
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 3540678972 |
Book Description
This book constitutes the refereed papers of the 11th International Conference on Concurrency Theory, CONCUR 2000, held in University Park, PA, USA in August 2000. The 34 revised full papes presented together with eight invited talks or tutorials were carefully reviewed and selected from 72 submissions. The papers address concurrency-related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.
Average customer rating:
|
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
Distributed Databases
| Databases
| Computers & Internet
| Subjects
| Books
Parallel Processing Computers
| Hardware
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
Algebra
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
| Abstract
| Elementary
| General
| Intermediate
| Linear
General
| Medicine
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Medicine
| Amazon Upgrade
| Stores
| Books
Professional & Technical
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Medicine
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Professional
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Science
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 3540424970 |
Book Description
This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.
Books:
- Construction Drawings and Details for Interiors: Basic Skills
- Convex Analysis (Princeton Landmarks in Mathematics and Physics)
- Cracking the AP Calculus AB and BC Exams, 2006-2007 Edition (College Test Prep)
- Data Structures and Algorithms in C++
- Deformations of Algebraic Schemes (Grundlehren der mathematischen Wissenschaften)
- Differential Equations (2nd Edition)
- Differential Evolution: A Practical Approach to Global Optimization (Natural Computing Series)
- Discrete Event Simulation: A Practical Approach (Cre Press Computer Engineering Series)
- Division Algebras:: Octonions Quaternions Complex Numbers and the Algebraic Design of Physics (Mathematics and Its Applications)
- Dr. Euler's Fabulous Formula: Cures Many Mathematical Ills
Books Index
Books Home
Recommended Books
- Differential and Integral Calculus
- American Wholefoods Cuisine
- Tulip Fever
- The Russian Army of the Crimean War 1854-56
- Veiled Visions: The 1906 Atlanta Race Riot and the Reshaping of American Race Relations
- An Introduction to Genetic Algorithms
- Zapping Conflict in the Health Care Workplace
- Henry Ford y Ford: historia de grandes emprendedores
- The Gender Division of Welfare: The Impact of the British and German Welfare States
- The Kennedy Men: Three Generations of Sex, Scandal and Secrets
Problem Frames: Analyzing and Structuring Software Development Problems
Advanced Use Case Modeling: Software Systems
Concurrent Programming in Java(TM): Design Principles and Pattern (2nd Edition)
Multithreaded Programming with Java Technology
Contextual Design : A Customer-Centered Approach to Systems Designs (Interactive Technologies)
