On the antisymmetry of Galois embeddings

DOI10.1016/S0020-0190(00)00176-9zbMath0998.68078OpenAlexW2092530416MaRDI QIDQ1603437

R. Smith

Publication date: 14 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00176-9

zbMATH Keywords

specification languagesformal methodsrefinement techniques

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

On the antisymmetry of Galois embeddings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pair algebras and Galois connections.
• Sequential calculus
• Constructing the Galois adjoint
• A single complete rule for data refinement
• Lagois connections -- a counterpart to Galois connections
• On the antisymmetry of Galois embeddings
• Pair algebra and its application to automata theory
• Hierarchies in Recursive Function Theory

This page was built for publication: On the antisymmetry of Galois embeddings