André Arnold;Anne Dicky
-;-
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
Mathematical Structures in Computer Science
Structured transition systems with parametric observations: observational congruences and minimal realizations