The first purpose of this paper is to extend Coffey-Saidha-Newe modal logic to be able to deal with multi-channel protocols. Next, we apply the extended logic to verify validity of protocols in the MANA family.

Two classes of fumarase-transducing phages, lambda fumA and lambda fumB, were isolated from populations of recombinant phages containing HindIII fragments of Escherichia coli DNA; they were isolated by virtue of their ability to complement the metabolic lesion of a fumarase-negative mutant. The strongly complementing lambda fumA phages contained a 6.2-kilobase HindIII fragment encoding: the fum...

The Vibrio cholerae lipopolysaccharide O1 antigen is a major target of bacteriophages and the human immune system and is of critical importance for vaccine design. We used an O1-specific lytic bacteriophage as a tool to probe the capacity of V. cholerae to alter its O1 antigen and identified a novel mechanism by which this organism can modulate O antigen expression and exhibit intra-strain hete...

MANA (Map Aware Nonuniform Automata) is a cellular automata-based simulation model of conflict which has been developed by the New Zealand Defence Technology Agency. It is based on the foundation ideas of complexity and emergence (Lauren and Stephen [12]). It has been developed using as a start point the ISAAC model developed for the US Marine Corps by Illachinski [5]. ISAAC was developed in or...

To optimize Bacillus subtilis as a production strain for proteins and low molecular substances by genome engineering, we developed a markerless gene deletion system. We took advantage of a general property of the phosphoenolpyruvate-dependent phosphotransferase system (PTS), in particular the mannose PTS. Mannose is phosphorylated during uptake by its specific transporter (ManP) to mannose 6-ph...