Corpus ID: 222377905

Abstract Congruence Criteria for Weak Bisimilarity

@article{Tsampas2020AbstractCC,
  title={Abstract Congruence Criteria for Weak Bisimilarity},
  author={Stelios Tsampas and C. Williams and Dominique Devriese and Frank Piessens},
  journal={ArXiv},
  year={2020},
  volume={abs/2010.07899}
}
  • Stelios Tsampas, C. Williams, +1 author Frank Piessens
  • Published 2020
  • Computer Science, Mathematics
  • ArXiv
  • We introduce three general compositionality criteria over operational semantics that guarantee weak bisimulation being a congruence. Our work is founded upon Turi and Plotkin's mathematical operational semantics and the coalgebraic approach to weak bisimulation by Brengos. We demonstrate each criterion with various examples of success and failure and give a formal proof of correctness for our main result. 

    References

    SHOWING 1-10 OF 40 REFERENCES
    Structural Operational Semantics for Weak Bisimulations
    • B. Bloom
    • Mathematics, Computer Science
    • Theor. Comput. Sci.
    • 1995
    • 104
    • PDF
    Proving Congruence of Bisimulation in Functional Programming Languages
    • D. Howe
    • Mathematics, Computer Science
    • Inf. Comput.
    • 1996
    • 257
    • PDF
    A note on coinduction and weak bisimilarity for while programs
    • J. Rutten
    • Computer Science, Mathematics
    • RAIRO Theor. Informatics Appl.
    • 1999
    • 40
    • PDF
    A categorical approach to secure compilation
    • 1
    • PDF
    Generic Trace Semantics via Coinduction
    • 195
    • PDF
    Relating coalgebraic notions of bisimulation
    • 29
    • PDF
    Bisimilarity as a Theory of Functional Programming
    • A. Gordon
    • Computer Science, Mathematics
    • Theor. Comput. Sci.
    • 1999
    • 26
    • PDF
    Weak bisimulation for coalgebras over order enriched monads
    • Tomasz Brengos
    • Mathematics, Computer Science
    • Log. Methods Comput. Sci.
    • 2015
    • 15
    • Highly Influential
    • PDF
    A Note on Logical Relations Between Semantics and Syntax
    • A. Pitts
    • Mathematics, Computer Science
    • Log. J. IGPL
    • 1997
    • 18
    • PDF
    Weak Bisimulation for Fully Probabilistic Processes
    • 166
    • PDF