Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of δ-constraints

DOI10.1016/S1571-0661(04)00306-8zbMath1268.68114OpenAlexW2030429182MaRDI QIDQ2841258

Sebastian Link, Klaus-Dieter Schewe

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00306-8

zbMATH Keywords

consistencyconstraintsformal specificationsguarded commandsMCEarithmetic logicGCS

Mathematics Subject Classification ID

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

Cites Work

• Towards a theory of consistency enforcement
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of δ-constraints