SAS 1999Polyhedral Analysis for Synchronous LanguagesFrédéric Besson, Thomas P. Jensen, Jean-Pierre TalpinPublisher pagedblpBibTeXNo abstract available.DOI 10.1007/3-540-48294-6_4