Molecular motors-based micro- and nano-biocomputation devices

Protein molecular motors, which are natural nano-machines that convert the chemical energy into mechanical work for cellular motion, muscle contraction and cell division, have been integrated in the last decade in primitive nanodevices based on the motility of nano-biological objects in micro- and nano-fabricated structures. However, the motility of microorganisms powered by molecular motors has not been similarly exploited. Moreover, among the proposed devices based on molecular motors, i.e., nanosensors, nano-mechanical devices and nano-imaging devices, biocomputation devices are conspicuously missing. The present contribution discusses, based on the present state of the art nano- and micro-fabrication, the comparative advantages and disadvantages of using nano- and micro-biological objects in future computation devices. (c) 2006 Elsevier B.V. All rights reserved.

Extending the theory of Owicki and Gries with asynchronous message passing

We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.