Uses of Class
de.cau.cs.kieler.sj.SJProgram

Packages that use SJProgram
de.cau.cs.kieler.sj.examples Examples for the usage and syntax of SJ. 
 

Uses of SJProgram in de.cau.cs.kieler.sj.examples
 

Subclasses of SJProgram in de.cau.cs.kieler.sj.examples
 class ABRO
          The program ABRO.
 class Count2Suspend
          Program to demonstrate the behavior of suspend and how this works in SJ.
 class FilteredSR
          Example to illustrate the pre command and signals in SJ.
 class GRCbal3
          This program illustrates the usage of priorities to handle signal dependencies among concurrent threads.
 class PrimeFactor
          This example illustrates the use of valued signals and the proper handling of reincarnation/schizophrenia in SJ.
 class ProducerConsumer
          Producer-Consumer-Observer Example for SJ.
 class Shifter3
          Example to illustrate the behavior of valued signals and pre.
 class SurfDepth
          Program to demonstrate the behavior and functionality of SJ.