- Full text PDF available (2)
- This year (0)
- Last 5 years (0)
- Last 10 years (0)
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)
This article describes the translation from Message Sequence Charts (a graphical language deening the behaviour of distributed systems) to Behaviour Description Language, a declarative object oriented reactive synchronous language.
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)