Synchronized Transitions

From: Budi Rahardjo (
Synchronized transition (ST) is a methodology advocated by J. Stanustroup. There is a set of tools to translate the description to a C program or to a description that can be fed to LP, the Larch Prover. ST tools are available through anonymous FTP from here (*)
Contact :