OSESMP-DEMO-1.0.jar illustrates how the Java Communicating Sequential Processes library might be used to analyze educational systems.