Learn More
We introduce the deenition of a language of distributed reactive objects, Bdl, as a uniied medium for specifying, verifying, compiling and validating object-oriented, distributed reactive systems. One of the novelties in Bdl is its seamless integration into Uml. Bdl supports a description of objects interaction which respects both the functional(More)
The absorption and elimination of cefquinome in serum and tissues of coho salmon were studied. The study was performed in freshwater at 10 degrees C with fish weighing 100 +/- 5 g (mean and standard deviation). Single doses of 5, 10 and 20 mg/kg were administered intraperitoneally to 30 fish for each dose. The maximum concentration occurred in the following(More)
Time-related concentrations in milk of a combination of trimethoprim-sulphadiazine (TMP-SDZ) intramammary formulated infusion and its relationship with pathogenic bacteria strains minimum inhibitory concentrations (MICs) isolated from clinical mastitis cows were analysed. The MICs study was performed for Escherichia coli, Staphylococcus aureus and(More)
  • 1