Learn More
We present an efJicient method for extracting a behavior description of a process (coinnrunicating finite state machine), as constrained by a given protocol. In the case where the constrained behavior corresponds to the unconstrained behavior depicted by the process specification, the process I S soid to be "effective". We call the derived behavior(More)
Cell-mediated immunocompetence of patients seen for followup of adenocarcinoma of the prostate is evaluated using dinitrochlorobenzene as a contact sensitizing agent. The immune status is correlated with the presence or absence of metastatic disease. A highly significant correlation is found between the lack of immune response and the presence of metastatic(More)
  • 1