M. Victoria Windley

  • Citations Per Year
Learn More
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must be developed. This includes editors, libraries, and an environment for the completion of agent tasks. The DECAF[8] Agent architecture is a general purpose agent development platform(More)
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages must be developed. This includes, editors, libraries, and an environment for the completion of agent tasks. The DECAF[8] Agent architecture is a general purpose agent development platform(More)
26 Many other and more complex properties of the vending machine can be checked in a similar way. Moreover, modal properties of parameterized speciications can be naturally checked using proofs by induction 31]., have been proposed for proving properties of concurrent systems 36, 37, 38]. These tools work in the framework of ccs-like specii-cations and most(More)
  • 1