A note on Coinduction and Weak Bisimilarity for While Programs

DOI10.1051/ITA:1999125MaRDI QIDQ4943550zbMATH OpenOpenAlexFDO

Authors Jan J. M. M. Rutten

Publication date 16 March 2000

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/222056

zbMATH Keywords

weak bisimilarity

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Introduction to bisimulation and coinduction
• Towards weak bisimulation for coalgebras
• A general account of coinduction up-to
• Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction
• scientific article; zbMATH DE number 6115908

Cites work

• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 1304993 (Why is no real title available?)
• The equational logic of fixed points

Cited in

(13)

• Adding recursive constructs to bialgebraic semantics
• BISON instantiating the whitened swap-or-not construction
• Monads for behaviour
• Towards weak bisimulation for coalgebras
• A syntactical approach to weak (bi-)simulation for coalgebras
• Trace-Based Coinductive Operational Semantics for While
• Unguarded recursion on coinductive resumptions
• Program equivalence is coinductive
• Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction
• Verification of the correctness of compiler optimization using co-induction
• Unguarded recursion on coinductive resumptions
• Subsequential transducers: a coalgebraic perspective
• A coalgebraic approach to Kleene algebra with tests

This page was built for publication: A note on Coinduction and Weak Bisimilarity for While Programs

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