Coalgebraic Path Constraints
Ce papier introduit les contraintes de chemin équationnelles, une classe de propriétés comportementales finitaires offrant une alternative algébrique aux coéquations pour axiomatiser les covariétés de coalgèbres et construire leurs coalgèbres finales.