( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Weak Late pi-Calculus Semantics as Observation Equivalence.

, , и . CONCUR, том 962 из Lecture Notes in Computer Science, стр. 57-71. Springer, (1995)

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.

Domingos Paola

Anna-Pia Paolazzi

Paola Belloni

Paola Bozzi

Paola Nava

 

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

A Translation of Beta-binders in a Prioritized Pi-calculus., и . FBTC@ICALP, том 229 из Electronic Notes in Theoretical Computer Science, стр. 109-125. Elsevier, (2008)Stochastic COWS., и . ICSOC, том 4749 из Lecture Notes in Computer Science, стр. 245-256. Springer, (2007)Formal Analysis of BPMN Via a Translation into COWS., , и . COORDINATION, том 5052 из Lecture Notes in Computer Science, стр. 249-263. Springer, (2008)Walking on SR-automata to detect grammar ambiguity.. CoRR, (2019)A Fully Parallel Calculus of Synchronizing Processes., и . TAPSOFT, том 668 из Lecture Notes in Computer Science, стр. 732-745. Springer, (1993)Process Calculi in a Biological Context., , и . Bulletin of the EATCS, (2005)Beta Binders for Biological Interactions., и . CMSB, том 3082 из Lecture Notes in Computer Science, стр. 20-33. Springer, (2004)Model Checking Biological Systems Described Using Ambient Calculus., , , и . CMSB, том 3082 из Lecture Notes in Computer Science, стр. 85-103. Springer, (2004)A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment., , , , , и . Simul., 80 (6): 273-288 (2004)Explicit substitutions for pi-congruences.. Theor. Comput. Sci., 269 (1-2): 83-134 (2001)