613 followers
Towards an ASM thesis for reflective sequential algorithms. https://t.co/5WzFaQnT83
Towards an ASM thesis for reflective sequential algorithms. https://t.co/5WzFaQnT83
Towards an ASM thesis for reflective sequential algorithms https://t.co/FofTDBL3a3
#arXiv #cs_LO "Towards an ASM thesis for reflective sequential algorithms. (arXiv:1705.10708v1 [cs.LO])" https://t.co/ehVzA0Z3tj
Just published my chapter for "Abstract State Machines, Alloy, B, TLA, VDM, and Z" (ABZ'16) https://t.co/E5cWKwbTIz https://t.co/hg8O4sqFF5