Other presentations

  1. 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

hosted by