Convenient categories of processes and simulations II: modulo weak and branching bisimilarities

Similar Items

• Convenient categories of processes and simulations I: modulo strong bisimilarity
  by: Pavlovic, D
  Published: (1995)
• Expressiveness modulo bisimilarity of regular expressions with parallel composition
  by: Baeten, JCM, et al.
  Published: (2015)
• Approximating Weak Bisimilarity of Basic Parallel Processes
  by: Piotr Hofman, et al.
  Published: (2012-08-01)
• Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
  by: Jos C. M. Baeten, et al.
  Published: (2010-11-01)
• Reducing Weak to Strong Bisimilarity in CCP
  by: Andrés Aristizábal, et al.
  Published: (2012-12-01)