D. M. Jackson

Learn More
FDR (Failures-Divergence Refinement) [6] is a model-checking tool for CSP [10]. Except for the recent addition of determinism checking [20, 22] (primarily for checking security properties) its method of verifying specifications is to test for the refinement of a process representing the specification by the target process. The presently released version(More)
The effect of atmospheric methyl jasmonate on the oxylipin pathway was investigated in leaves of tobacco (Nicotiana tabacum L.), cucumber (Cucumis sativa L.), and Arabidopsis thaliana (L.). Differential sensitivities of test plants to methyl jasmonate were observed. Thus, different concentrations of methyl jasmonate were required for induction of changes in(More)
The human 25-hydroxyvitamin D3-1alpha-hydroxylase (1alpha-OHase) gene has been cloned. It contained nine exons and eight introns spanning approximately 6.5 kb and a 1.4-kb 5'-flanking region. The 5'-flanking region contains consensus or highly conserved sequences for TATA, Pu, and CCAAT boxes, four cAMP response elements, two activator protein-1 (AP-1)(More)
Proopiomelanocortin (POMC) is a protein that is posttranslationally processed to yield POMC peptides. The main site of POMC expression is the anterior pituitary lobe but many other sources have been identified. There is evidence that the skin produces POMC peptides, although their roles have not yet been defined. In the skin, regulation of POMC gene(More)
We present new techniques for formally modeling arbitrary network topologies and control-ow schemes, applicable to high-speed networks. A novel induction technique suitable for process algebraic, nite-state machine techniques is described which can be used to verify end-to-end properties of certain arbitrarily conngured networks. We also present a formal(More)