Basic Ideas (2): Time Tags
c:?s1 bool chan, d:?t1 bool chan; s?tš§ (recv(c) andalso recv(d)):bool
c:?s1 bool chan, d:?t1 bool chan; s?tš§ (recv(d) andalso recv(c)):bool
Previous slide
Next slide
Back to first slide
View graphic version