Linking algebraic observational equivalence and bisimulation

DOI10.1007/978-3-642-14455-4_9MaRDI QIDQ3584883zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

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

Cited in

(1)

• scientific article; zbMATH DE number 2079877 (Why is no real title available?)

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)