Changes to the lectures this week

[Thomas H]

Helllo.

The plan for this week was to have three lectures on PSL, but since we
managed to cover all the material for the first two lectures on
Monday, there will be no lecture on Tuesday.

Magnus Björk will give a lecture on PSL on Thursday, as planned.


Also, the PSL property we saw at the end of the lecture today looked
wrong. It was:

always {strt; {get[=8]}&&{kill[=0]}} |=> {{put[=8]}&&{end[=0]}}

Here is a version that I think fit better with what was intended:

always {strt; {get[=8]}&&{kill[=0]}} |=> {put[=8]; end}


--
Thomas H

[Dan Karlsson]

I think the PSL was correct.
&&{end[=0]} states that there can't be an end-signal before there has
been 8 puts, which is what the text says.

The text doesn't require that there is an end-signal, which is what
makes it look wrong.

/ Dan

[Muhammad Asif]

 I also think so, the new version does not guarantee end to be true during the 8 puts.

[Thomas H]

Good points. I withdraw my correction!

/Thomas H