Topics:
- stream events (5 messages, latest: Oct 31 2023 at 11:20)
- operational transform (1 message, latest: Aug 28 2023 at 09:02)
- Partial order on NFA up to bisimilarity (16 messages, latest: May 30 2023 at 20:45)
- proarrow equipments in concurrency (126 messages, latest: May 03 2022 at 07:08)
- shapes and algebraic structures (194 messages, latest: Mar 31 2021 at 23:20)
- bisimulation (336 messages, latest: Mar 19 2021 at 05:39)
- Nets Within Nets From Grothendieck (76 messages, latest: Feb 04 2021 at 16:15)
- Simulations and the determinization monad (2 messages, latest: Nov 25 2020 at 07:49)
- significance (1 message, latest: Apr 23 2020 at 21:47)
- compact closed bicategories and the π-calculus (1 message, latest: Apr 22 2020 at 18:46)