Related Books
Language: en
Pages: 477
Pages: 477
Type: BOOK - Published: 2010 - Publisher: Cambridge University Press
Presents a unified overview of the various process algebras currently in use and sets the standard for the field.
Language: en
Pages: 460
Pages: 460
Type: BOOK - Published: 2010 - Publisher:
Language: en
Pages: 593
Pages: 593
Type: BOOK - Published: 2022-09-06 - Publisher: Springer Nature
This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has
Language: en
Pages: 430
Pages: 430
Type: BOOK - Published: 2012-10-19 - Publisher: Springer Science & Business Media
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the
Language: en
Pages: 579
Pages: 579
Type: BOOK - Published: 2013-01-12 - Publisher: Springer
This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, h
