Tibor Bartos

  • Citations Per Year
Learn More
This paper deals with a behavioral specification model for reactive systems based on agents and on processes that contain agents as their atoms and describe their compositions. An agent specifies a part of the system’s inputoutput communication with its environment as a set of finite sequences of input and output values over a finite time interval in which(More)
  • 1