Behavioural differential equations: a coinductive calculus of streams, automata, and power series

J.J.M.M. Rutten

doi:10.1016/S0304-3975(02)00895-2

Behavioural differential equations: a coinductive calculus of streams, automata, and power series

J.J.M.M. Rutten

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	1-53
Journal	Theoretical Computer Science
Volume	308
Issue number	1
DOIs	https://doi.org/10.1016/S0304-3975(02)00895-2
Publication status	Published - 2003

Bibliographical note

Rut03b

Access to Document

10.1016/S0304-3975(02)00895-2

Persistent URL (handle)

Persistent link

Cite this

@article{8af1f43dd6c74827b6fadd59f2d3de5e,

title = "Behavioural differential equations: a coinductive calculus of streams, automata, and power series",

author = "J.J.M.M. Rutten",

note = "Rut03b ",

year = "2003",

doi = "10.1016/S0304-3975(02)00895-2",

language = "English",

volume = "308",

pages = "1--53",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "1",

}

TY - JOUR

T1 - Behavioural differential equations: a coinductive calculus of streams, automata, and power series

AU - Rutten, J.J.M.M.

N1 - Rut03b

PY - 2003

Y1 - 2003

UR - https://www.scopus.com/pages/publications/0142093023

UR - https://www.scopus.com/inward/citedby.url?scp=0142093023&partnerID=8YFLogxK

U2 - 10.1016/S0304-3975(02)00895-2

DO - 10.1016/S0304-3975(02)00895-2

M3 - Article

SN - 0304-3975

VL - 308

SP - 1

EP - 53

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1

ER -

Behavioural differential equations: a coinductive calculus of streams, automata, and power series

Bibliographical note

Access to Document

Persistent URL (handle)

Other files and links

Cite this