Travelled to:1 × Hungary
1 × Poland
Collaborated with:A.Mycroft J.J.Davies D.J.Scott V.B.F.Gomes Martin Kleppmann D.P.Mulligan
Talks about:distribut (2) comput (2) sentient (1) spatial (1) optimis (1) languag (1) environ (1) consist (1) verifi (1) system (1)
Person: Alastair R. Beresford
DBLP: Beresford:Alastair_R=
Contributed to:
20082003
2017Wrote 3 papers:
- FASE-2008-DaviesBM #distributed #optimisation
- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.
- FASE-2003-ScottBM #mobile #policy #security
- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment (DJS, ARB, AM), pp. 102–117.
- OOPSLA-2017-GomesKMB #consistency #distributed #verification
- Verifying strong eventual consistency in distributed systems (VBFG, MK, DPM, ARB), p. 28.