Non-deterministic Kleene coalgebras

A.M. Silva, M.M. Bonsangue, J.J.M.M. Rutten

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

125 Downloads (Pure)

Original language	English
Pages (from-to)	1-44
Number of pages	44
Journal	Logical Methods in Computer Science
Volume	6
Issue number	3
DOIs	https://doi.org/10.2168/LMCS-6(3:23)2010
Publication status	Published - 2010

Access to Document

@article{e32a7ddc947d4d309de2d8bc99a99426,

title = "Non-deterministic Kleene coalgebras",

author = "A.M. Silva and M.M. Bonsangue and J.J.M.M. Rutten",

year = "2010",

doi = "10.2168/LMCS-6(3:23)2010",

language = "English",

volume = "6",

pages = "1--44",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

number = "3",

}