Ke Huang, Zhihong Li, Benjamin Koo, Tianju Wang. SimSync: A Table-Based Constraint Processing Language For Synchronization Control. In IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2009, Chengdu, Sichuan, China, 10-12 August 2009. pages 691-695, IEEE, 2009. [doi]
Abstract is missing.