PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Crafa, Silvia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Logic for True Concurrency.

, und . CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 147-161. Springer, (2010)

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.

Silvia Ankelin University of Stuttgart

Silvia Lajewski University of Stuttgart

Silvia Busi University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions., und . ACM Trans. Comput. Log., 16 (1): 2:1-2:24 (2014)On the chemistry of typestate-oriented actors., und . CoRR, (2016)Modelling the Evolution of Programming Languages.. CoRR, (2015)Boxed Ambients., , und . TACS, Volume 2215 von Lecture Notes in Computer Science, Seite 38-63. Springer, (2001)Subtyping and Matching for Mobile Objects., , und . ICTCS, Volume 2202 von Lecture Notes in Computer Science, Seite 235-255. Springer, (2001)On the Reactive Nature of Financial Networks., und . ICTCS, Volume 2243 von CEUR Workshop Proceedings, Seite 230-241. CEUR-WS.org, (2018)Compositional Event Structure Semantics for the Internal pi -Calculus., , und . CONCUR, Volume 4703 von Lecture Notes in Computer Science, Seite 317-332. Springer, (2007)Controlling information release in the pi-calculus., und . Inf. Comput., 205 (8): 1235-1273 (2007)Solidity 0.5: when typed does not mean type safe., und . CoRR, (2019)A Logic for True Concurrency, und . CoRR, (2011)