Linking algebraic observational equivalence and bisimulation

DOI10.1007/978-3-642-14455-4_9zbMATH Open1250.68199OpenAlexW1562725285MaRDI QIDQ3584883FDOQ3584883

Authors: Mouhebeddine Berrima, Narjes Ben Rajeb 

Publication date: 31 August 2010

Published in: Developments in Language Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14455-4_9

Recommendations

• scientific article; zbMATH DE number 1189284
• Structured transition systems with parametric observations: observational congruences and minimal realizations
• scientific article; zbMATH DE number 3898213
• Bisimulation and Hidden Algebra
• Studying equivalences of transition systems with algebraic tools

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: Linking algebraic observational equivalence and bisimulation

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