Elemente der Sprache Occam

Dieses Kapitel gibt eine systematische Beschreibung der Sprache Occam-2.

• Schreibweise eines Programms
• Strukturelemente eines Programms
• Elementare Prozesse
• Strukturierte Prozesse
• Datentypen
• Kanäle und Protokolle
• Elementare Datentypen
• Felder
• Zeitgeber
• Ausdrücke
• Abkürzungen
• Prozeduren
• Funktionen

• Unterschiede zwischen occam und occam-2