Editor's note Sadly, Dr3John Dawson died on the 20th ofDecember 1990. For manyyears Dr Dawson had extensive interest and involvement, via his position at the Bn'tish Medical Association, with a number ofnational and international groups devoted to tackling the problems associated with 'torture and the medical profession'. He was instumental in the production ofthe firstBMA Torture Report and, a...

This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microthreaded architecture, a multi-core architecture capable of integrating hundreds to hundreds of thousands of processors on single silicon chip. We use the Abstract State Machine (ASM) as a theoretical framework for the specification of the on-chip COMA cache coherence protocol....

Four Psocoptera species are reported as new records for Bulgaria: Valenzuela corsicus (Kolbe, 1882) (Ihtimanska Sredna Gora Mts), Reuterella helvimacula (Enderlein, 1901) (Rila Mesopsocus helveticus Lienhard, 1977 and Hyalopsocus contrarius (Reuter, 1893) (both from Sakar Mts). After this article there a total of 71 psocid known the country.