Calculating with automata

J.C.M. Baeten

doi:10.1007/978-3-540-68679-8_46

Calculating with automata

J.C.M. Baeten

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
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
Publisher	Springer
Pages	747-756
ISBN (Print)	978-3-540-68676-7
DOIs	https://doi.org/10.1007/978-3-540-68679-8_46
Publication status	Published - 2008

Publication series

Name	Lecture Notes in Computer Science
Volume	5065
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-540-68679-8_46

Cite this

@inproceedings{668e7cd9362543ce93f85436bc4fd024,

title = "Calculating with automata",

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.",

author = "J.C.M. Baeten",

year = "2008",

doi = "10.1007/978-3-540-68679-8_46",

language = "English",

isbn = "978-3-540-68676-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "747--756",

editor = "P. Degano and {De Nicola}, R. and J. Meseguer",

booktitle = "Concurrency, Graphs and Models (Essays dedicated to Ugo Montanari on the occasion of his 65th birthday)",

address = "Germany",

}

Calculating with automata. / Baeten, J.C.M.

Concurrency, Graphs and Models (Essays dedicated to Ugo Montanari on the occasion of his 65th birthday). ed. / P. Degano; R. De Nicola; J. Meseguer. Berlin : Springer, 2008. p. 747-756 (Lecture Notes in Computer Science; Vol. 5065).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Calculating with automata

AU - Baeten, J.C.M.

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-68679-8_46

DO - 10.1007/978-3-540-68679-8_46

M3 - Conference contribution

SN - 978-3-540-68676-7

T3 - Lecture Notes in Computer Science

SP - 747

EP - 756

BT - Concurrency, Graphs and Models (Essays dedicated to Ugo Montanari on the occasion of his 65th birthday)

A2 - Degano, P.

A2 - De Nicola, R.

A2 - Meseguer, J.

PB - Springer

CY - Berlin

ER -

Calculating with automata

Abstract

Publication series

Access to Document

Fingerprint

Cite this