Talk:Promela

Latest comment: 14 years ago by Alex 3141 in topic Promela Syntax

Promela Syntax

edit

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 (talkcontribs) 17:33, 20 January 2010 (UTC)Reply