scientific article; zbMATH DE number 2061713

zbMATH Open1039.68035MaRDI QIDQ4457460FDOQ4457460

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

nondeterminismdefinabilitylogical relationsdata independence

Mathematics Subject Classification ID

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

Cited In (5)

• Logical Data Independence Reconsidered (Extended Abstract)
• On model checking data-independent systems with arrays without reset
• A semantic condition for data independence and applications in hardware verification
• Title not available (Why is that?)
• 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)