201 followers
An algebra of synchronous atomic steps https://t.co/11VxetWm35
An algebra of synchronous atomic steps https://t.co/11VxetWm35
#arXiv #cs_LO "An algebra of synchronous atomic steps. (arXiv:1609.00118v2 [cs.LO] UPDATED)" https://t.co/l24lLYeSej
#arXiv #cs_LO "An algebra of synchronous atomic steps. (arXiv:1609.00118v1 [cs.LO])" https://t.co/l24lLYeSej