( en | de | ru )

 

Disambiguation of "Quaglia, Paola"

Author of the publication

copydeleteadd this publication to your clipboard
The Weak Late pi-Calculus Semantics as Observation Equivalence.

, , and . CONCUR, volume 962 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Anna-Pia Paolazzi

Domingos Paola

Paola Belloni

Paola Bozzi

Paola Traverso

 

Other publications of authors with the same name

Formal Analysis of BPMN Via a Translation into COWS., , and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 249-263. Springer, (2008)Stochastic COWS., and . ICSOC, volume 4749 of Lecture Notes in Computer Science, page 245-256. Springer, (2007)A Translation of Beta-binders in a Prioritized Pi-calculus., and . FBTC@ICALP, volume 229 of Electronic Notes in Theoretical Computer Science, page 109-125. Elsevier, (2008)Explicit substitutions for pi-congruences.. Theor. Comput. Sci., 269 (1-2): 83-134 (2001)Beta Binders for Biological Interactions., and . CMSB, volume 3082 of Lecture Notes in Computer Science, page 20-33. Springer, (2004)Model Checking Biological Systems Described Using Ambient Calculus., , , and . CMSB, volume 3082 of Lecture Notes in Computer Science, page 85-103. Springer, (2004)A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment., , , , , and . Simul., 80 (6): 273-288 (2004)Process Calculi in a Biological Context., , and . Bulletin of the EATCS, (2005)The Weak Late pi-Calculus Semantics as Observation Equivalence., , and . CONCUR, volume 962 of Lecture Notes in Computer Science, page 57-71. Springer, (1995)Modeling Kohn Interaction Maps with Beta-Binders: An Example., , and . Trans. Comp. Sys. Biology, (2005)