Bisimulation and Hidden Algebra
From MaRDI portal
Publication:4256320
DOI10.1016/S1571-0661(05)80276-2zbMath1126.08300MaRDI QIDQ4256320
Ovidiu Gheorghies, Adriana Apetrei, Dorel Lucanu
Publication date: 12 July 1999
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)
Related Items (3)
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ Behavioral abstraction is hiding information ⋮ Equational axiomatizability for coalgebra
Uses Software
Cites Work
This page was built for publication: Bisimulation and Hidden Algebra