( en | de | ru )

 

Disambiguierung von "Quaglia, Paola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Weak Late pi-Calculus Semantics as Observation Equivalence.

, , und . CONCUR, Volume 962 von Lecture Notes in Computer Science, Seite 57-71. Springer, (1995)

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.

Anna-Pia Paolazzi

Domingos Paola

Paola Belloni

Paola Borri

Paola Nava

 

Weitere Publikationen von Autoren mit dem selben Namen

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