( en | de | ru )

 

Disambiguation of "Crafa, Silvia"

Author of the publication

copydeleteadd this publication to your clipboard
Pacta sunt servanda: Legal contracts in Stipula.

, , , and . Sci. Comput. Program., (2023)

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.

Silvia Hiechinger

Die Rolle von EBF2 in der haematopoietischen Stammzellnische. Uni München, (2010)

Silvia Schulz

Silvia Fach

Silvia Westenfelder

Silvia Lipphardt

 

Other publications of authors with the same name

Compositional Event Structure Semantics for the Internal pi -Calculus., , and . CONCUR, volume 4703 of Lecture Notes in Computer Science, page 317-332. Springer, (2007)On the Reactive Nature of Financial Networks., and . ICTCS, volume 2243 of CEUR Workshop Proceedings, page 230-241. CEUR-WS.org, (2018)Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions., and . ACM Trans. Comput. Log., 16 (1): 2:1-2:24 (2014)Modelling the Evolution of Programming Languages.. CoRR, (2015)On the chemistry of typestate-oriented actors., and . CoRR, (2016)ALGOMOVE - A Move Embedding for Algorand., , , , and . Blockchain, page 62-67. IEEE, (2023)Controlling information release in the pi-calculus., and . Inf. Comput., 205 (8): 1235-1273 (2007)A Logic for True Concurrency, and . CoRR, (2011)A Spectrum of Behavioral Relations over LTSs on Probability Distributions., and . CONCUR, volume 6901 of Lecture Notes in Computer Science, page 124-139. Springer, (2011)Communication Interference in Mobile Boxed Ambients., , , and . FSTTCS, volume 2556 of Lecture Notes in Computer Science, page 71-84. Springer, (2002)