Mercurial > hg > Members > nobuyasu > Spin
diff Samples/p102.pml @ 0:86e67be8bc5f draft
add some files
author | Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 29 Jun 2012 01:14:43 +0900 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Samples/p102.pml Fri Jun 29 01:14:43 2012 +0900 @@ -0,0 +1,14 @@ +#define a 1 +#define b 2 + +chan ch = [1] of { byte }; + +proctype A() { ch!a } +proctype B() { ch!b } +proctype C() +{ if + :: ch?a + :: ch?b + fi +} +init { atomic { run A(); run B(); run C() } }