Calculating with automata

J.C.M. Baeten

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationConcurrency, Graphs and Models (Essays dedicated to Ugo Montanari on the occasion of his 65th birthday)
EditorsP. Degano, R. De Nicola, J. Meseguer
Place of PublicationBerlin
ISBN (Print)978-3-540-68676-7
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Calculating with automata'. Together they form a unique fingerprint.

Cite this