scientific article; zbMATH DE number 7361363

MaRDI QIDQ4994701zbMATH OpenFDO

Authors Chris Hankin

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1309.5147, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.20

Mathematics Subject Classification ID

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

Recommendations

• Generalizing simulation to abstract domains
• An efficient simulation algorithm based on abstract interpretation
• A modular approach to defining and characterising notions of simulation
• scientific article; zbMATH DE number 2086521
• Algebra and Coalgebra in Computer Science
• Notes on perfect simulation
• Simulations as homotopies
• Publication:4935940
• scientific article; zbMATH DE number 1329882
• How to simulate it -- a tutorial on the simulation proof technique

Cited in

(2)

• A modular approach to defining and characterising notions of simulation
• Theory of Cryptography

This page was built for publication:

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