Open Bisimulation for Aspects

DOI10.1007/978-3-642-02059-9_3MaRDI QIDQ3636798zbMATH OpenOpenAlexFDO

Authors Radha Jagadeesan, Corin Pitcher, J. Riely

Publication date 30 June 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02059-9_3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Small bisimulations for reasoning about higher-order imperative programs
• Bisimulation by unification
• Open bisimulation, revisited
• Programming Languages and Systems
• A bisimulation for dynamic sealing

Cited in

(7)

• Bisimulation and coinduction enhancements: a historical perspective
• Pushdown normal-form bisimulation: a nominal context-free approach to program equivalence
• Complete trace models of state and control
• (Towards a) statistical probabilistic lazy lambda calculus
• From applicative to environmental bisimulation
• A Complete, Co-inductive Syntactic Theory of Sequential Control and State
• Fully abstract normal form bisimulation for call-by-value PCF

This page was built for publication: Open Bisimulation for Aspects

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