1,258 followers
A Logic for Non-Deterministic Parallel Abstract State Machines. https://t.co/TnTIpGYpTy
A Logic for Non-Deterministic Parallel Abstract State Machines. https://t.co/TnTIpGYpTy
#arXiv #cs_LO "A Logic for Non-Deterministic Parallel Abstract State Machines. (arXiv:1705.11097v1 [cs.LO])" https://t.co/xw2JBt3SDI