A Process-Theoretic Look at Automata

J.C.M. Baeten, P.J.L. Cuijpers, B. Luttik, P.J.A. Tilburg van

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)1-33
JournalLecture Notes in Computer Science
Volume5961
Publication statusPublished - 2009
EventFSEN'09 -
Duration: 1 Jan 20091 Jan 2009

Bibliographical note

Proceedings title: Proceedings 3rd Conference on Fundamentals ofSoftware Engineering
Publisher: Springer

Cite this

Baeten, J. C. M., Cuijpers, P. J. L., Luttik, B., & Tilburg van, P. J. A. (2009). A Process-Theoretic Look at Automata. Lecture Notes in Computer Science, 5961, 1-33.
Baeten, J.C.M. ; Cuijpers, P.J.L. ; Luttik, B. ; Tilburg van, P.J.A. / A Process-Theoretic Look at Automata. In: Lecture Notes in Computer Science. 2009 ; Vol. 5961. pp. 1-33.
@article{91db8db68dbb47e78c53d3dcd73446ef,
title = "A Process-Theoretic Look at Automata",
author = "J.C.M. Baeten and P.J.L. Cuijpers and B. Luttik and {Tilburg van}, P.J.A.",
note = "Proceedings title: Proceedings 3rd Conference on Fundamentals ofSoftware Engineering Publisher: Springer",
year = "2009",
language = "English",
volume = "5961",
pages = "1--33",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Baeten, JCM, Cuijpers, PJL, Luttik, B & Tilburg van, PJA 2009, 'A Process-Theoretic Look at Automata' Lecture Notes in Computer Science, vol. 5961, pp. 1-33.

A Process-Theoretic Look at Automata. / Baeten, J.C.M.; Cuijpers, P.J.L.; Luttik, B.; Tilburg van, P.J.A.

In: Lecture Notes in Computer Science, Vol. 5961, 2009, p. 1-33.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - A Process-Theoretic Look at Automata

AU - Baeten, J.C.M.

AU - Cuijpers, P.J.L.

AU - Luttik, B.

AU - Tilburg van, P.J.A.

N1 - Proceedings title: Proceedings 3rd Conference on Fundamentals ofSoftware Engineering Publisher: Springer

PY - 2009

Y1 - 2009

M3 - Article

VL - 5961

SP - 1

EP - 33

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -

Baeten JCM, Cuijpers PJL, Luttik B, Tilburg van PJA. A Process-Theoretic Look at Automata. Lecture Notes in Computer Science. 2009;5961:1-33.