Properties of Concurrent Programs

A program property is a predicate on programs. In this paper we explore program properties of the form U -> V where U and V are either predicates on states of a program or program properties, and -> satisfies three rules that are also used in reasoning about sequential programs and safety properties of parallel programs. We show how such properties can be used to reason about concurrent programs

Systematic composition of distributed objects: Processes and sessions

We consider a system with the infrastructure for the creation and interconnection of large numbers of distributed persistent objects. This system is exemplified by the Internet: potentially, every appliance and document on the Internet has both persistent state and the ability to interact with large numbers of other appliances and documents on the Internet. This paper elucidates the characteristics of such a system, and proposes the compositional requirements of its corresponding infrastructure. We explore the problems of specifying, composing, reasoning about and implementing applications in such a system. A specific concern of our research is developing the infrastructure to support structuring distributed applications by using sequential, choice and parallel composition, in the anarchic environment where application compositions may be unforeseeable and interactions may be unknown prior to actually occurring. The structuring concepts discussed are relevant to a wide range of distributed applications; our implementation is illustrated with collaborative Java processes interacting over the Internet, but the methodology provided can be applied independent of specific platforms

On group extensions

Thesis (M.A.)--Boston University Bibliography

Patient and Disease-Specific Induced Pluripotent Stem Cells for Discovery of Personalized Cardiovascular Drugs and Therapeutics.

Human induced pluripotent stem cells (iPSCs) have emerged as an effective platform for regenerative therapy, disease modeling, and drug discovery. iPSCs allow for the production of limitless supply of patient-specific somatic cells that enable advancement in cardiovascular precision medicine. Over the past decade, researchers have developed protocols to differentiate iPSCs to multiple cardiovascular lineages, as well as to enhance the maturity and functionality of these cells. Despite significant advances, drug therapy and discovery for cardiovascular disease have lagged behind other fields such as oncology. We speculate that this paucity of drug discovery is due to a previous lack of efficient, reproducible, and translational model systems. Notably, existing drug discovery and testing platforms rely on animal studies and clinical trials, but investigations in animal models have inherent limitations due to interspecies differences. Moreover, clinical trials are inherently flawed by assuming that all individuals with a disease will respond identically to a therapy, ignoring the genetic and epigenomic variations that define our individuality. With ever-improving differentiation and phenotyping methods, patient-specific iPSC-derived cardiovascular cells allow unprecedented opportunities to discover new drug targets and screen compounds for cardiovascular disease. Imbued with the genetic information of an individual, iPSCs will vastly improve our ability to test drugs efficiently, as well as tailor and titrate drug therapy for each patient

A Primer for Program Composition Notation

This primer describes a notation for program composition. Program composition is putting programs together to get larger ones. PCN (Program Composition Notation) is a programming language that allows programmers to compose programs so that composed programs execute efficiently on uniprocessors, distributed-memory multicomputers or shared-memory multiprocessors. (Revised December 12, 1990

Mach-Based Channel Library

[No Abstract

The Impact of Sense and Respond Systems

Sense and respond (S&R) systems based on information technology amplify one of the most fundamental characteristics of life — the ability to detect and respond to events. Living things thrive when they respond effectively to what’s going on in their environments. A zebra that doesn’t run away from a hungry lion dies and one that runs away unnecessarily wears out. Organizations sense and respond collectively: lions in a pride signal each other when they hunt; societies deal with crises by harnessing capabilities of governments, charities, and individuals. When our ancestors hunted millennia ago, they saw as far as the eye could see and threw spears as far as their muscles let them. Today, S&R systems let us detect events far out in space and respond anywhere on the globe. By 2020, S&R systems will become an integral part of the activities of people and organizations around the world whether they’re rich or poor, in farming or medicine, at work or at play