( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Event Structures for the Reversible Early Internal π-Calculus.

, , и . RC, том 12227 из Lecture Notes in Computer Science, стр. 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.

Iain Mann

Iain McGinniss

Iain Parris

Iain McGregor

Oliver Phillips

 

Другие публикации лиц с тем же именем

Reversing algebraic process calculi, и . Journal of Logic and Algebraic Programming, 73 (1-2): 70--96 (2007)TRENDY: an adaptive and context-aware service discovery protocol for 6LoWPANs., , , и . WoT, стр. 2. ACM, (2012)Concurrency and Reversibility., , и . RC, том 8507 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2014)A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway., , и . RC, том 7581 из Lecture Notes in Computer Science, стр. 218-232. Springer, (2012)Towards a Formal Account for Software Transactional Memory., , , и . RC, том 12227 из Lecture Notes in Computer Science, стр. 255-263. Springer, (2020)CCS with Priority Guards.. CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 305-320. Springer, (2001)Forward-Reverse Observational Equivalences in CCSK., и . RC, том 12805 из Lecture Notes in Computer Science, стр. 126-143. Springer, (2021)Event Structures for the Reversible Early Internal π-Calculus., , и . RC, том 12227 из Lecture Notes in Computer Science, стр. 71-90. Springer, (2020)Maximise unsafe path routing protocol for forest fire monitoring system using Wireless Sensor Networks., , , , , и . NESEA, стр. 1-8. IEEE Computer Society, (2012)Low-Carb BGP: A Carbon-Aware Inter-Domain Routing Extension to BGP., и . ANRW, ACM, (2024)