Models for Concurrency 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.
| Author: Uri Abraham |
| Publisher: CRC Press |
| Publication Date: 36304 |
| Number of Pages: 248 pages |
| Binding: Computers |
| ISBN-10: 905699199X |
| ISBN-13: 9789056991999 |