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 …
read moreOther presentations
Trace Semantics for Coalgebras: a Generic Theory
In this talk we claim that various forms of "trace semantics" defined for concurrent systems with: different input/output types, or with different types of "concurrency" such as non-determinism or probability, are instances of a single categorical construction, namely coinduction in a Kleisli category. Hence we demonstrate the abstraction power …
read more
Page 1 / 1