scientific article; zbMATH DE number 2061713

MaRDI QIDQ4457460zbMATH OpenFDO

Authors Ranko Lazić, David Nowak

Publication date 22 March 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2701/27010226.htm

zbMATH Keywords

data independencedefinabilitylogical relationsnondeterminism

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1759637
• Logical Data Independence Reconsidered (Extended Abstract)
• A semantic condition for data independence and applications in hardware verification
• A generalized notion of semantic independence
• On the semantics of informational independence
• scientific article; zbMATH DE number 3972251
• On the expressive power of data dependencies
• Independence in database relations
• scientific article; zbMATH DE number 4199657

Cited in

(5)

• A semantic condition for data independence and applications in hardware verification
• scientific article; zbMATH DE number 1759637 (Why is no real title available?)
• On model checking data-independent systems with arrays without reset
• Logical Data Independence Reconsidered (Extended Abstract)
• Deadlock-freeness of hexagonal systolic arrays

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 Q4457460)