4 lines
94 B
Promela
4 lines
94 B
Promela
|
let ?ds = dataspace
|
||
|
<simplex $ds>
|
||
|
? <socketspace ?socketspace> [ $socketspace <simplex $ds> ]
|