Bisimulation and Hidden Algebra

DOI10.1016/S1571-0661(05)80276-2MaRDI QIDQ4256320zbMATH OpenFDO

Authors Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei

Publication date 12 July 1999

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(05)80276-2

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Applications of universal algebra in computer science (08A70) Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1507225
• scientific article; zbMATH DE number 5263437
• scientific article; zbMATH DE number 1418363
• Equivalence co-relatios and co-congruences of co-algebras
• Linking algebraic observational equivalence and bisimulation

Cites work

• A hidden agenda
• An approach to object semantics based on terminal co-algebras
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• scientific article; zbMATH DE number 1189281 (Why is no real title available?)
• scientific article; zbMATH DE number 1222421 (Why is no real title available?)
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations

Cited in

(6)

• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• Linking algebraic observational equivalence and bisimulation
• scientific article; zbMATH DE number 1231632 (Why is no real title available?)
• scientific article; zbMATH DE number 5263437 (Why is no real title available?)
• Equational axiomatizability for coalgebra
• Behavioral abstraction is hiding information

Describes a project that uses

Uses Software

• OBJ3
• CafeOBJ

This page was built for publication: Bisimulation and Hidden Algebra

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