Attention India Customers!

Welcome to CRCPress.com! We have customized the Taylor & Francis India website to host CRC Press titles. Please choose www.TandFIndia.com to get the following benefits:

South Asia Editions of CRC Press titles with INR prices

Multiple options to purchase locally

All CRC Press products available

Your CRC Press login credentials will work on TandFIndia.com

Garland Science Website Announcement

The Garland Science website is no longer available to access and you have been automatically redirected to CRCPress.com.

INSTRUCTORS

All instructor resources are now available on our Instructor Hub. Your GarlandScience.com instructor credentials will not grant access to the Hub, but existing and new users may request access here.
The student resources previously accessed via GarlandScience.com are no longer available to existing or new users.

Preview

Summary

Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.

What does "CPD Certified" mean?

CPD consists of any educational activity which helps to maintain and develop knowledge, problem-solving, and technical skills with the aim to provide better health care through higher standards. It could be through conference attendance, group discussion or directed reading to name just a few examples.

Use certain CRC Press medical books to get your CPD points up for revalidation. We provide a free online form to document your learning and a certificate for your records.