20 followers
RT @ChrisPoskitt: All 3 of us co-presented our #fase2016 paper this year and somehow kept to time (mostly ;) ). Slides soon; preprint: http…
RT @ChrisPoskitt: All 3 of us co-presented our #fase2016 paper this year and somehow kept to time (mostly ;) ). Slides soon; preprint: http…
All 3 of us co-presented our #fase2016 paper this year and somehow kept to time (mostly ;) ). Slides soon; preprint: https://t.co/LHm5yAUi25
Preprint of our #fase16 paper, "A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs", now online! https://t.co/LHm5yBbSTD
#arXiv #cs_LO "A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. (arXiv:1603.00307v1 [cs.SE]… https://t.co/7ELgdfbNfo