Convenient categories of processes and simulations I: modulo strong bisimilarity

Similar Items

• Convenient categories of processes and simulations II: modulo weak and branching bisimilarities
  by: Pavlovic, D
  Published: (1996)
• Expressiveness modulo bisimilarity of regular expressions with parallel composition
  by: Baeten, JCM, et al.
  Published: (2015)
• Reductions of Tensor Categories Modulo Primes
  by: Gelaki, Shlomo, et al.
  Published: (2013)
• Codensity games for bisimilarity
  by: Komorida, Y, et al.
  Published: (2022)
• On the Complexity of Computing Probabilistic Bisimilarity
  by: Chen, D, et al.
  Published: (2012)