Trace Semantics for Coalgebras: a Generic Theory (Part 2)

In the last talk (part 1), due to lack of time, some materials were not explained in the full detail but in a rather talk-at-conference manner. The coming talk (part 2) will be its supplement: we start with a review of limit-colimit coincidence result by Smyth and Plotkin, and then continue with a detailed account of our technical result. It will be a short talk (for ACG), about an hour.  

hosted by

social