Related Books

Processes, Terms and Cycles: Steps on the Road to Infinity
Language: en
Pages: 655
Authors: Aart Middeldorp
Categories: Computers
Type: BOOK - Published: 2005-12-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total of 23 scientific papers by close friends and
A Journey from Process Algebra via Timed Automata to Model Learning
Language: en
Pages: 593
Authors: Nils Jansen
Categories: Computers
Type: BOOK - Published: 2022-09-06 - Publisher: Springer Nature

DOWNLOAD EBOOK

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
Theoretical Aspects of Computing -- ICTAC 2011
Language: en
Pages: 277
Authors: Antonio Cerone
Categories: Computers
Type: BOOK - Published: 2011-08-12 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South A
Automata, Languages and Programming
Language: en
Pages: 620
Authors: Michele Bugliesi
Categories: Computers
Type: BOOK - Published: 2006-06-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICA
CONCUR 2007 - Concurrency Theory
Language: en
Pages: 519
Authors: Luís Caires
Categories: Computers
Type: BOOK - Published: 2007-08-19 - Publisher: Springer

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three i