Home Newsletter
News Books
Welcome to FreeScience.info Language/Lingua

Books 3054
· Book News
· Most clicked
· Least clicked

Search for a Book
Add a new Book

Communicating Sequential Processes (CSP)

Author: Tony Hoare
Url: http://www.usingcsp.com/
Format: Pdf
Category: Theory of Computation
Pages: 260
Clicks: 1199

Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. The book Communicating Sequential Processes was first published in 1985 by Prentice Hall International (who have kindly released the copyright); it is an excellent introduction to the language, and also to the mathematical theory.

Similar Books
Informatica teorica
Informatica Teorica
Information Theory, Inference and Learning Algorithms
Partial Evaluation and Automatic Program Generation
Tree Automa Techniques and Applications
The Theory of Languages and Computation
Foundations of Computer Science
Computability Theory
Introduction to Theory of Computation

Home |  Authors | About | Contact Us |  Email 
 Copyright © 2002-2013 FreeScience.info. 

Best viewed with Mozilla 1.X 1024x768
free scientific books