( en | de | ru )

 

Disambiguation of "Levi, Francesca"

Author of the publication

copydeleteadd this publication to your clipboard
Maximally Parallel Probabilistic Semantics for Multiset Rewriting.

, , , and . Fundam. Informaticae, 112 (1): 1-17 (2011)

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.

Paul Levi

Thomas Levi

Idan Levi

Paul Levi

Rudolf Levi

 

Other publications of authors with the same name

A process language for statecharts. (1997)Types for Evolving Communication in Safe Ambients.. VMCAI, volume 2575 of Lecture Notes in Computer Science, page 102-115. Springer, (2003)Probabilistic model checking of biological systems with uncertain kinetic rates., , , and . Theor. Comput. Sci., (2012)Compositional Verification of Quantitative Properties of Statecharts.. J. Log. Comput., 11 (6): 829-878 (2001)Maximally Parallel Probabilistic Semantics for Multiset Rewriting., , , and . Fundam. Informaticae, 112 (1): 1-17 (2011)A Control Flow Analysis for Safe and Boxed Ambients., and . ESOP, volume 2986 of Lecture Notes in Computer Science, page 188-203. Springer, (2004)A Process Language for Statecharts.. LOMAPS, volume 1192 of Lecture Notes in Computer Science, page 388-403. Springer, (1996)A New Occurrence Counting Analysis for BioAmbients., and . APLAS, volume 3780 of Lecture Notes in Computer Science, page 381-400. Springer, (2005)A Compositional µ-Calculus Proof System for Statecharts Processes.. Theor. Comput. Sci., 216 (1-2): 271-310 (1999)An analysis for proving probabilistic termination of biological systems., and . Theor. Comput. Sci., (2013)