Lax Invariant in Coalgebra

DOI10.1007/978-3-540-88914-4_16zbMath1211.68268OpenAlexW60062410MaRDI QIDQ3079379

Lei Fan, Jielin Li

Publication date: 2 March 2011

Published in: Advances in Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88914-4_16

zbMATH Keywords

fixed pointinvariantfinal categoryLax invariantLax predicate lifting

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Lax Invariant in Coalgebra