The purpose of this article is to show how the comparison or analogy with artifacts (i.e., systems engineered by humans) foundational for idea that complex neuro-cognitive are amenable explanation at distinct levels, which a central simplifying strategy modeling brain. most salient source course digital computer, but I will discuss some more general comparisons processes design and engineering ...

This paper introduces an imperative process algebra based on ACP (Algebra of Communicating Processes). Like other algebras, this deals with processes the kind that arises from execution programs. It distinguishes itself already existing algebras among things by supporting abstraction actions are considered not to be visible. The support opens interesting application possibilities algebra. goes ...

Abstract We study abstraction for crash-resilient concurrent objects using non-volatile memory (NVM). develop a library-correctness criterion that is sound ensuring contextual refinement in this setting, thus allowing clients to reason about library behaviors terms of their abstract specifications, and developers verify implementations against the specifications abstracting away from particular...

Korf Korf, 1979] provides a similar computational analysis of the beneets of abstraction for state space search. This analysis is essentially restricted to Abstrips abstractions as it ignores the cost of building abstract proof plans. Like us, Korf assumes no mapping failures, and a constant branching rate. Finally, in Giunchiglia & Walsh, 1989b] we analysed the theoretical and empirical proper...

Predicate abstraction has become one of the most successful methodologies for proving safety properties of programs. Recently, several abstraction methodologies have been proposed for proving liveness properties. This paper studies “ranking abstraction” where a program is augmented by a non-constraining progress monitor, and further abstracted by predicate-abstraction, to allow for automatic ve...