Basic Ideas (2): Time Tags
c:?s1 bool chan, d:?t1 bool chan; s?t¨§ (spawn(fn()=>(send(c, true); send(d, false))); recv(d) andalso recv(c)):bool
c:?s1 bool chan, d:?t1 bool chan; t?s¨§ (spawn(fn()=>(send(c, true); send(d, false))); recv(d) andalso recv(c)):bool