Generalizing simulation to abstract domains

DOI10.1007/978-3-642-40184-8_34MaRDI QIDQ2842128zbMATH OpenOpenAlexFDO

Authors Vijay D'Silva

Publication date 12 August 2013

Published in CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40184-8_34

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Generalized Strong Preservation by Abstract Interpretation
• Inverse-limit and topological aspects of abstract interpretation
• scientific article; zbMATH DE number 1538024
• An abstract domain of uninterpreted functions
• Comparison of abstract interpretations

Cited in

(3)

• A modular approach to defining and characterising notions of simulation
• scientific article; zbMATH DE number 1182471 (Why is no real title available?)
• scientific article; zbMATH DE number 7361363 (Why is no real title available?)

This page was built for publication: Generalizing simulation to abstract domains

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