Algebra and Coalgebra in Computer Science

DOI10.1007/11548133zbMath1151.68550OpenAlexW249899439MaRDI QIDQ5492829

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

Mathematics Subject Classification ID

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

Related Items (4)

Algebraic simulations ⋮ Modularity of Ontologies in an Arbitrary Institution ⋮ Twenty years of rewriting logic ⋮ Unnamed Item

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