( en | de | ru )

 

Disambiguation of "Phillips, Iain"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Formal Account for Software Transactional Memory.

, , , and . RC, volume 12227 of Lecture Notes in Computer Science, page 255-263. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Iain Mann

Iain McGinniss

Iain Parris

Iain McGregor

Oliver Phillips

 

Other publications of authors with the same name

On the Design, Development and Implementation of Trust Evaluation Mechanism in Vehicular Networks., , , , and . AICCSA, page 1-7. IEEE Computer Society, (2019)Reversibility and Asymmetric Conflict in Event Structures., and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 303-318. Springer, (2013)Generic Performance Management of Multiservice Networks., , , and . Integrated Network Management, page 943-944. IEEE, (1999)Barbs and Congruences for Safe Mobile Ambients., and . F-WAN@ICALP, volume 66 of Electronic Notes in Theoretical Computer Science, page 37-51. Elsevier, (2002)Concurrency and Conflict in CSP., and . Theory and Formal Methods, page 209-225. Springer, (1993)Refusal Testing.. ICALP, volume 226 of Lecture Notes in Computer Science, page 304-313. Springer, (1986)Trade-off between exploration and reporting victim locations in USAR., and . WOWMOM, page 1-6. IEEE Computer Society, (2010)Reversing algebraic process calculi, and . Journal of Logic and Algebraic Programming, 73 (1-2): 70--96 (2007)TRENDY: an adaptive and context-aware service discovery protocol for 6LoWPANs., , , and . WoT, page 2. ACM, (2012)Concurrency and Reversibility., , and . RC, volume 8507 of Lecture Notes in Computer Science, page 1-14. Springer, (2014)