๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Incompleteness of relational simulations in the blocking paradigm

โœ Scribed by Eerke Boiten; John Derrick

Book ID
104092029
Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
259 KB
Volume
75
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

โœฆ Synopsis

Refinement is the notion of development between formal specifications. For specifications given in a relational formalism, downward and upward simulations are the standard method to verify that a refinement holds, their usefulness based upon their soundness and joint completeness. This is known to be true for total relational specifications and has been claimed to hold for partial relational specifications in both the non-blocking and blocking interpretations.

In this paper we show that downward and upward simulations in the blocking interpretation, where domains are ''guards'', are not jointly complete. This contradicts earlier claims in the literature. We illustrate this with an example (based on one recently constructed by Reeves and Streader) and then construct a proof to show why joint completeness fails in general.

๐Ÿ“œ SIMILAR VOLUMES

Non-neural BOLD variability in block and
Non-neural BOLD variability in block and event-related paradigms
โœ Sridhar S. Kannurpatti; Michael A. Motes; Bart Rypma; Bharat B. Biswal ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 861 KB

Block and event-related stimulus designs are typically used in fMRI studies depending on the importance of detection power or estimation efficiency. The extent of vascular contribution to variability in block and event-related fMRI-BOLD response is not known. With scaling, the extent of vascular var