From post

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.

 

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

Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes., и . Processes, Terms and Cycles, том 3838 из Lecture Notes in Computer Science, стр. 106-126. Springer, (2005)Dagstuhl Reports, Vol. 5, Issue 11 ISSN 2192-5283, , , , , , , , , и 1 other автор(ы). (2016)A Note on an Old-Fashioned Algebra for (Disconnected) Graphs.. TERMGRAPH@ETAPS, том 253 из Electronic Notes in Theoretical Computer Science, стр. 3-15. Elsevier, (2009)On Term Graphs as an Adhesive Category., и . TERMGRAPH, том 127 из Electronic Notes in Theoretical Computer Science, стр. 43-56. Elsevier, (2004)Ugo Montanari and Friends.. Concurrency, Graphs and Models, том 5065 из Lecture Notes in Computer Science, стр. 743-746. Springer, (2008)A Decentralized Implementation of Mobile Ambients., и . ICGT, том 5214 из Lecture Notes in Computer Science, стр. 115-130. Springer, (2008)Concurrent Rewriting for Graphs with Equivalences., , и . CONCUR, том 4137 из Lecture Notes in Computer Science, стр. 279-294. Springer, (2006)Towards a Spatial Model Checker on GPU., , и . FORTE, том 12719 из Lecture Notes in Computer Science, стр. 188-196. Springer, (2021)Concurrency Can't Be Observed, Asynchronously., , , и . APLAS, том 6461 из Lecture Notes in Computer Science, стр. 424-438. Springer, (2010)Preface., , и . VODCA@FOSAD, том 236 из Electronic Notes in Theoretical Computer Science, стр. 1-3. Elsevier, (2008)