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)
  • 1