1. Sunderam, V.S.: PVM: A Framework for Parallel Distributed Computing. In: Concurrency, Practice and Experience, December 1990, vol. 2, pp. 315–339. John Wiley & Sons, Chichester (1990)
2. MPI-2 Standard, http://www.mpi-forum.org/docs/mpi-20-html/mpi2-report.html
3. Microsoft Research: AsmL: The Abstract State Machine Language (2002)
4. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM archive 21(7), 558–565 (1978)
5. Campbell, C., Grieskamp, W., Nachmanson, L., et al.: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer, Technical Report (2005)