by Baeten, J. C., Weijland, W. P., Baeten, J. C. M.

Out of Stock

The item you're looking for is currently unavailable.

ISBN-13: 9780521400435
ISBN: 0521400430
Publisher: Cambridge University Press

AUTHOR

Baeten, J. C., Weijland, W. P., Baeten, J. C. M.

SUMMARY

This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.Baeten, J. C. is the author of 'Process Algebra' with ISBN 9780521400435 and ISBN 0521400430.

[read more]