( en | de | ru )

 

Disambiguierung von "Phillips, Iain"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a categorical representation of reversible event structures.

, , und . J. Log. Algebraic Methods Program., (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Iain Mann

Iain McGinniss

Iain Parris

Iain McGregor

Oliver Phillips

 

Weitere Publikationen von Autoren mit dem selben Namen

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