Ken Hirose

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper proposes a new specification technique called Process-Data Representation (PDR) which intends to describe precise and comprehensive specification for parallel processing. The process representation consists of (a) the condition to start the actions of processes and (b) the execution ordering. The data representation specifies the constraints on(More)
  • 1