2 papers
cs.LO2025
Relators and Notions of Simulation Revisited
Sergey Goncharov, Dirk Hofmann, Pedro Nora +2
Simulations and bisimulations are ubiquitous in the study of concurrent systems and modal logics of various types. Besides classical relational transition systems, relevant system…
cs.PL2023
Weak Similarity in Higher-Order Mathematical Operational Semantics
Henning Urbat, Stelios Tsampas, Sergey Goncharov +2
Higher-order abstract GSOS is a recent extension of Turi and Plotkin's framework of Mathematical Operational Semantics to higher-order languages. The fundamental well-behavedness p…