MSL: A Synthesis Enabled Language for Distributed Implementations | IEEE Conference Publication | IEEE Xplore