Package de.cau.cs.kieler.sj.examples

Examples for the usage and syntax of SJ.

See:
          Description

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

Package de.cau.cs.kieler.sj.examples Description

Examples for the usage and syntax of SJ.