slides - Department of Computer Science
slides - Department of Computer Science
slides - Department of Computer Science
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Introduction to pGSL<br />
• pGSL is the extension <strong>of</strong> GSL.<br />
• The differences between GSL and pGSL: is that predicates (functions from<br />
state to Boolean) have been widened to functions from state to number.