Talk:Promela

Promela Syntax
Please note that in Promela, the semicolon is NOT a delimiter for single statements (as in Java etc.) but expresses the composition of statements; hence i vote to rewrite nearly all examples to use the original, strict syntax of Promela (semicolons in the "end-delimiter" role are ignored by the syntax checker as they would represent the composition with an empty statement and, hence, are ignorable semantically). —Preceding unsigned comment added by Alex 3141 (talk • contribs) 17:33, 20 January 2010 (UTC)