Abstract Dynamic Frames

DOI10.1007/978-3-319-06251-8_10zbMath1405.68077OpenAlexW167232668MaRDI QIDQ5410483

Han-Hing Dang

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_10

zbMATH Keywords

relational semanticsframe problemlocal actionsseparation algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Frames, locales (06D22) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Abstract Dynamic Frames