Calculating with automata

J.C.M. Baeten

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

1 Downloads (Pure)

Abstract

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
PublisherSpringer
Pages747-756
ISBN (Print)978-3-540-68676-7
DOIs
Publication statusPublished - 2008

Publication series

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

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

Cite this