Algebra and Coalgebra in Computer Science

DOI10.1007/11548133zbMATH Open1151.68550OpenAlexW249899439MaRDI QIDQ5492829FDOQ5492829

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

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

Recommendations

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

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)

Cited In (9)

• Title not available (Why is that?)
• Twenty years of rewriting logic
• Theory of Cryptography
• Modularity of Ontologies in an Arbitrary Institution
• The category of Pawlak machines
• Title not available (Why is that?)
• A modular approach to defining and characterising notions of simulation
• Algebraic simulations
• Recent Trends in Algebraic Development Techniques

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)