A high reliability design for NFS server software based on the logical coloured Petri net.

Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama

Browse the full ICARCV paper archive.