C.: Reasoning about skeletons in Eden (2006)

by R Peña, Segura
Venue:In: Parallel Computing: Current & Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005, NIC Series 33