Brucellosis in humans and animals is a worldwide problem and its control still remains a goal for Veterinary and Health Authorities in several countries. The choice of a control strategy depends on a number of factors such as animal husbandry practices, social customs, infrastructure and the epidemiological pattern of the disease as well as organisation of veterinary services, economy and polit...

Assumption{Commitment paradigms for speciication and veriication of concurrent programs have been proposed in the past. We show that two typical parallel composition rules for shared variable and message passing programs 8, 12] which hitherto required diierent formulations are instances of one general rule mainly inspired by Abadi & Lamport's composition theorem 1].

Recently, distributed shared memory systems have received much attention because such an abstraction simpliies programming. In this paper , we present a simple protocol which implements the linearizability consistency criterion in a distributed shared memory system. Unlike previously implemented protocols, our protocol is based on an optimistic approach. The protocol eliminates the necessity of...

Object-Oriented Database Management Systems break up into two components. The object manager deals with the management of logical objects and relies on the object store which implements system and transaction related features and manages physical objects. The efficiency of the object store strongly depends on the way memory and distribution management aspects are considered. Such aspects includ...