Some elements are presented of a forthcoming textbook on automata theory and formal languages, that puts more emphasis on equational reasoning. Some advantages of such an approach are discussed. This paper is dedicated to Ugo Montanari, who has contributed such a lot to concurrency theory and the theory of computational models.
|Title of host publication||Concurrency, Graphs and Models (Essays dedicated to Ugo Montanari on the occasion of his 65th birthday)|
|Editors||P. Degano, R. De Nicola, J. Meseguer|
|Place of Publication||Berlin|
|Publication status||Published - 2008|
|Name||Lecture Notes in Computer Science|