MiniC programs consist of a set of threads which are pairs of the name of the thread and its statement, functions that can be called by these threads, and the declaration of the globally shared variables that are used for the threads to communicate with each other. Further information about the syntax can be found in the reference card MiniC reference card.