Go backward to Concurrency
Go up to Top
Go forward to Examples

Abstract Syntax

P in Program
C in Command
E in Expression
B in Boolean-expr
I in Identifier

P ::= C.
C ::= I := E | C_1; C_2 | C1 || C2
    | if B then C_1 else C_2 | while B do C

Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine

Prev Up Next