@article {BRS07b,
	title = {Regular expressions for polynomial coalgebras},
	number = {SEN-0703},
	year = {2007},
	institution = {Centrum Wiskunde \& Informatica (CWI)},
	address = {Amsterdam, The Netherlands},
	abstract = {<p>For polynomial set functors G, we introduce a language of expressions for describing elements of final G-coalgebra. We show that every state of a finite G-coalgebra corresponds to an expression in the language, in the sense that they both have the same semantics. Conversely, we give a compositional synthesis algorithm which transforms every expression into a finite G-coalgebra. The language of expressions is equipped with an equational system that is sound, complete and expressive with respect to G-bisimulation.</p>
},
	issn = {SEN-0703},
	attachments = {https://haslab.uminho.pt/sites/default/files/xana/files/11926d.pdf},
	author = {Marcello Bonsangue and Jan Rutten and Alexandra Silva}
}