Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems.

Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino

Browse the full FORTE paper archive.