This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the intuitions it seeks to formalise. Several alternative definitions are discussed, which are shown to be equivalent to the classical definition of noninterference with respect to transitive policies. Rushby’s unwinding conditions fo...

We introduce the declarative programming language Indeed that uses both deduction and interaction through multi-agent system applications. The language design is addressed by providing a uniform programming model that combines two refinements of resolution along with some control strategies to introduce state-based descriptions. We show that the logical calculus in which the computational model...

T he cardiac IKs channel is a major repolarization current in the heart that responds rapidly and robustly to sympathetic nervous system stimulation to ensure adequate diastolic filling time in the face of accompanying accelerated heart rate. In cardiac myocytes, the IKs channel is a macromolecular complex composed of a poreforming α (KCNQ1) subunit and modulatory β (KCNE1) subunit, as well as ...

Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is l-calculus a reasonable machine? Is there a way to measure the computational complexity of a l-term? This paper presents the first complete positive answer to this long-standing problem. Moreover, our answer is completely machine-independent and based...