An LSC Specification