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 input-output communication with its environment as a set of finite sequences of input and output values over a finite time interval in which(More)
  • 1