Jump to content

Talk:Promela

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]