Consider a network of processes that exchange messages via FIFO communication channels. Each process chooses a subset of its neighboring processes to be its successors. Furthermore, there is a distinguished process, called root, that may be reached from any other process by following the successor relation at each hop. Thus, under the successor relation, the processes are arranged as a directed...

Synaptic plasticity is activity-dependent modification of the efficacy of synaptic transmission. Although, detailed mechanisms underlying synaptic plasticity are diverse and vary at different types of synapses, diacylglycerol (DAG)-associated signaling has been considered as an important regulator of many forms of synaptic plasticity, including long-term potentiation (LTP) and long-term depress...

Numerous hormones activate cells through receptor-regulated hydrolysis of phosphoinositides resulting in elevated cellular diacylglycerol (DAG), an activator of protein kinase C (PKC). Our previous studies showed that thyrotropin-releasing hormone (TRH) treatment of GH3 cells stimulated a rapid (less than 10 s) but transient (less than 60 s) association of cytosolic PKC with the membrane. In th...

This appendix consists of two main parts: in the first, we prove correct the translations of parallel primitives into the dag calculus, in the second, we prove that the scheduling algorithm implements the rules of the dag calculus. Concretely, Appendix A provides auxiliary definitions and properties for the translations; Appendices B, C and D provide the proofs of translations of fork-join, asy...