Calculating with automata

J.C.M. Baeten

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelConcurrency, Graphs and Models (Essays dedicated to Ugo Montanari on the occasion of his 65th birthday)
RedacteurenP. Degano, R. De Nicola, J. Meseguer
Plaats van productieBerlin
UitgeverijSpringer
Pagina's747-756
ISBN van geprinte versie978-3-540-68676-7
DOI's
StatusGepubliceerd - 2008

Publicatie series

NaamLecture Notes in Computer Science
Volume5065
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Calculating with automata'. Samen vormen ze een unieke vingerafdruk.

Citeer dit