Algebra and Coalgebra in Computer Science

DOI10.1007/11548133MaRDI QIDQ5492829zbMATHOpenAlexFDO

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

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11548133

Mathematics Subject Classification ID

Temporal logic (03B44) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Paths and simulations
• Categorical simulations
• Simulations as homotopies
• Convenient category of processes and simulations I: Modulo strong bisimilarity
• Simulations in coalgebra

Cited in

(14)

• Theory of Cryptography
• Modularity of ontologies in an arbitrary institution
• The category of Pawlak machines
• A modular approach to defining and characterising notions of simulation
• Algebraic simulations
• Recent Trends in Algebraic Development Techniques
• Simulations as homotopies
• The ILLTP library for intuitionistic linear logic
• A categorical outlook on relational modalities and simulations
• Paths and simulations
• Computability structures, simulations and realizability
• Categorical simulations
• scientific article; zbMATH DE number 7361363 (Why is no real title available?)
• Twenty years of rewriting logic

This page was built for publication: Algebra and Coalgebra in Computer Science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492829)