A functional style of programming with CSP-like communication mechanisms

This paper introduces CSP-like communication mechanisms into Backus’ Functional Programming (FP) systems extended by nondeterministic constructs. Several new functionals are used to describe nondeterminism and communication in programs. The functionals union and restriction are introduced into FP systems to develop a simple algebra of programs with nondeterminism. The behaviour of other functionals proposed in this paper are characterized by the properties of union and restriction. The axiomatic semantics of communication constructs are presented. Examples show that it is possible to reason about a communicating program by first transforming it into a non-communicating program by using the axioms of communication, and then reasoning about the resulting non-communicating version of the program. It is also shown that communicating programs can be developed from non-communicating programs given as specifications by using a transformational approach.

The complementation of yeast with human or Plasmodium falciparum Hsp90 confers differential inhibitor sensitivities

Developing novel drugs against the unicellular parasite Plasmodium is complicated by the paucity of simple screening systems. Heat-shock proteins are an essential class of proteins for the parasite's cyclical life style between different cellular milieus and temperatures. The molecular chaperone Hsp90 assists a large variety of proteins, but its supporting functions for many proteins that are important for cancer have made it into a well-studied drug target. With a better understanding of the differences between Hsp90 of the malarial parasite and Hsp90 of its human host, new therapeutic options might become available. We have generated a set of isogenic strains of the budding yeast Saccharomyces cerevisiae where the essential yeast Hsp90 proteins have been replaced with either of the two human cytosolic isoforms Hsp90 alpha or Hsp90 beta, or with Hsp90 from Plasmodium falciparum (Pf). All strains express large amounts of the Flag-tagged Hsp90 proteins and are viable. Even though the strain with Pf Hsp90 grows more poorly, it provides a tool to reconstitute additional aspects of the parasite Hsp90 complex and its interactions with substrates in yeast as a living test tube. Upon exposure of the set of Hsp90 test strains to the two Hsp90 inhibitors radicicol (Rd) and geldanamycin (GA), we found that the strain with Pf Hsp90 is relatively more sensitive to GA than to Rd compared to the strains with human Hsp90's. This indicates that this set of yeast strains could be used to screen for new Pf Hsp90 inhibitors with a wider therapeutic window.