Computability and decidability issues in the theory of consistency enforcement

zbMATH Open0970.68099MaRDI QIDQ2703751FDOQ2703751

Authors: Sebastian Link, Klaus-Dieter Schewe 

Publication date: 8 May 2001

Recommendations

• scientific article; zbMATH DE number 2162120
• Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints
• Towards a theory of consistency enforcement
• Program verification. Fundamental issues in computer science
• scientific article; zbMATH DE number 1950750

zbMATH Keywords

specializationprogram specifications

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Consistency analysis of decision-making programs
• Title not available (Why is that?)
• Decidability and complexity for quiescent consistency and its variations
• Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints

This page was built for publication: Computability and decidability issues in the theory of consistency enforcement

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