A categorical approach to simulations

Miguel Palomino, José Meseguer, Narciso Martí-Oliet

Research output: Contribution to journalConference articlepeer-review

Abstract

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.

Original languageEnglish (US)
Pages (from-to)313-330
Number of pages18
JournalLecture Notes in Computer Science
Volume3629
DOIs
StatePublished - 2005
EventFirst International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005 - Swansea, United Kingdom
Duration: Sep 3 2005Sep 6 2005

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A categorical approach to simulations'. Together they form a unique fingerprint.

Cite this