Distributed communication software specification based on the action superposition mechanism.
Kiyoshi Hayashi, Toshihiro Nishizono, Toyofumi Takenaka
Browse the full COMPSAC paper archive.
Kiyoshi Hayashi, Toshihiro Nishizono, Toyofumi Takenaka
Browse the full COMPSAC paper archive.