( en | de | ru )

 

Disambiguierung von "Boreale, Michele"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Expressiveness of Internal Mobility in Name-Passing Calculi.

. Theor. Comput. Sci., 195 (2): 205-226 (1998)

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.

Michele Galletti

Michele Ferrari

Hannelore Michele

Michele Ocken

Michèle Mattusch

 

Weitere Publikationen von Autoren mit dem selben Namen

Experimenting with STA, a tool for automatic analysis of security protocols., und . SAC, Seite 281-285. ACM, (2002)On Formally Bounding Information Leakage by Statistical Estimation., und . ISC, Volume 8783 von Lecture Notes in Computer Science, Seite 216-236. Springer, (2014)Weighted Bisimulation in Linear Algebraic Form.. CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 163-177. Springer, (2009)Quantifying Information Leakage in Process Calculi.. ICALP (2), Volume 4052 von Lecture Notes in Computer Science, Seite 119-131. Springer, (2006)A Typed Calculus for Querying Distributed XML Documents., , und . TGC, Volume 4661 von Lecture Notes in Computer Science, Seite 167-182. Springer, (2006)Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation., und . MFCS, Volume 2747 von Lecture Notes in Computer Science, Seite 269-278. Springer, (2003)Denotational Testing Semantics in Coinductive Form., und . MFCS, Volume 2747 von Lecture Notes in Computer Science, Seite 279-289. Springer, (2003)Quantitative information flow under generic leakage functions and adaptive adversaries., und . Log. Methods Comput. Sci., (2015)XPi: A typed process calculus for XML messaging., und . Sci. Comput. Program., 71 (2): 110-143 (2008)A coalgebraic perspective on linear weighted automata., , , , und . Inf. Comput., (2012)