The Latex to LSC Compiler
From WeizmannWiki
The Latex2PlayGo Compiler
This page explains how to write Contextul LSCs in Latex, compile them into PlayGo LSC instances, and finally execute them.
The PlayGo Environment
First we need to download here a PlayGo version that includes a template project and the Latex2PlayGo compiler.
The (general) userguide for PlayGo can be found here.
You can also find useful information and tutorials at the PlayGo homepage.
