A Categorical Approach to Simulations

Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it very natural to adopt a categorical viewpoint in which Kripke structures become the objects of several categories while the morphisms are obtained from the corresponding notion of simulation. Here we define in detail several of those categories, collect them together in various institutions, and study their most interesting properties.

• Type: Conference
• Year: 2005
• Where: CALCO
• Authors: Miguel Palomino, José Meseguer, Narciso Martí-Oliet
• Keywords: CALCO 2005, Concurrent Systems, Kripke Structures, Natural Way