Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.

Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi

Browse the full ICDCS paper archive.