We present a non-interleaving model for non deterministic concurrent processes that is based on labelled event structures. We define operators on labelled event structures like parallel composition, nondeterministic combination, choice, prefixing and hiding. These operators correspond to the operations of the “Theory of Communicating Sequential Processes” (TCSP). Infinite processes are defined using the metric approach. The dynamic behaviour of event structures is defined by a transition relation which describes the execution of partially ordered sets of actions, abstracting from internal events.
Bradykinin and angiotensin administered to the isolated perfused rabbit kidney activate two sequential processes: (1) a selective release of the prostaglandin precursor arachidonate with concomitant partial conversion of the arachidonate into prostaglandin E2; (2) activation of a process that leads to decreased release of all fatty acids in the perfusate. There is a time lag of approx. 1 min between the initial activation of the arachidonate-specific deacylation reaction that is coupled to prostaglandin generation, and the subsequent decrease in the release of all fatty acids. This synchronized cycle provides for instant generation of required amounts of prostaglandins and at the same time serves to conserve cellular arachidonate.
Biochemical actions of vasoactive peptide hormones. Time-synchronized activation of lipolysis and decreased fatty-acid release by bradykinin and angiotensin in the perfused rabbit kidney