( en | de | ru )

 

Disambiguation of "Phillips, Iain"

Author of the publication

copydeleteadd this publication to your clipboard
Event Structures for the Reversible Early Internal π-Calculus.

, , and . RC, volume 12227 of Lecture Notes in Computer Science, page 71-90. 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

Reversibility and asymmetric conflict in event structures., and . J. Log. Algebraic Methods Program., 84 (6): 781-805 (2015)TRENDY: an adaptive and context-aware service discovery protocol for 6LoWPANs., , , and . WoT, page 2. ACM, (2012)Forward-Reverse Observational Equivalences in CCSK., and . RC, volume 12805 of Lecture Notes in Computer Science, page 126-143. Springer, (2021)Concurrency and Reversibility., , and . RC, volume 8507 of Lecture Notes in Computer Science, page 1-14. Springer, (2014)A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway., , and . RC, volume 7581 of Lecture Notes in Computer Science, page 218-232. Springer, (2012)Event Identifier Logic., and . Math. Struct. Comput. Sci., (2014)Towards a Formal Account for Software Transactional Memory., , , and . RC, volume 12227 of Lecture Notes in Computer Science, page 255-263. Springer, (2020)CCS with Priority Guards.. CONCUR, volume 2154 of Lecture Notes in Computer Science, page 305-320. Springer, (2001)Maximise unsafe path routing protocol for forest fire monitoring system using Wireless Sensor Networks., , , , , and . NESEA, page 1-8. IEEE Computer Society, (2012)Event Structures for the Reversible Early Internal π-Calculus., , and . RC, volume 12227 of Lecture Notes in Computer Science, page 71-90. Springer, (2020)