A Process-Theoretic Look at Automata

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

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 Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	1-33
Journal	Lecture Notes in Computer Science
Volume	5961
Publication status	Published - 2009
Event	FSEN'09 - Duration: 1 Jan 2009 → 1 Jan 2009

Bibliographical note

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

Persistent URL (handle)

Persistent link

Cite this

@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; FSEN'09 ; Conference date: 01-01-2009 Through 01-01-2009",

year = "2009",

language = "English",

volume = "5961",

pages = "1--33",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

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

SN - 0302-9743

VL - 5961

SP - 1

EP - 33

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - FSEN'09

Y2 - 1 January 2009 through 1 January 2009

ER -