Learn More
  • P Rajan, R. K. ShyamasundarComputer
  • 1997
It has recently been shown that both asynchrony and perfect synchrony are needed for the speciication of complex reactive systems and a paradigm called Communicating Reactive Processes (CRP) was(More)
  • 1