Kazuhiro Gotoh

Learn More
In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be used in combination with multi-rendezvous among remote processes. A LOTOS specification with the assignment of each process to a node is implemented as a set of executable codes(More)
  • 1