UNLABELLED: The high cost of genotyping single nucleotide polymorphisms (SNPs) generally prohibits the systematic mapping of entire genetic linkage regions in order to find the polymorphisms associated with increased risk of disease. In practice, SNPs are selected at approximately equal spacing across the linkage region to try to locate a SNP lying in the haplotype block of the disease SNP. The size of the haplotype block may not be known, however, and SNPs taken from public domain sources may not in fact be polymorphic. Our program will choose a subset of the SNPs in a linkage region so as to maximize the expected proportion of the sequence that lies within a given distance of a real SNP. AVAILABILITY: The software is available, free of charge, for academic use on request from the authors. SUPPLEMENTARY INFORMATION: www.oxagen.co.uk

UNLABELLED: Certain types of genetic analysis are simplified by assembling a collection of unrelated individuals, e.g. case-control experiments. If a family study is being performed then it will be necessary to extract subsets of unrelated, available individuals from pedigress. Our program provides an optimal method for performing this task. AVAILABILITY: The software is available, free of charge, on request from Oxagen Ltd. SUPPLEMENTARY INFORMATION: http://www.oxagen.co.uk

This paper describes an algorithm and associated tool for checking a network of communicating processes, defined using the algebraic language of CSP, against a set-theoretic specification, expressed in terms of event traces and refusal sets.