IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Coalgebraic Traces Revisited"

by Corina Cirstea

Sat, 16 March 2013 at 10:15 am in Rome, Italy

Abstract: We revisit existing work on finite and maximal coalgebraic traces and describe an attempt to unify the two. We also show how recent work by Hasuo et al on coinductive predicates can be used to give a fibrational account of maximal traces.

Slides