1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
O. S. Matlin, E. Lusk, W. McCune
We describe our experiences in using SPIN to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect…