Author of the publication

Probabilistic Real-Time Rewrite Theories and Their Expressive Power.

, and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 60-79. Springer, (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.

 

Other publications of authors with the same name

A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing., and . WADT, volume 7841 of Lecture Notes in Computer Science, page 77-94. Springer, (2012)Probabilistic Real-Time Rewrite Theories and Their Expressive Power., and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 60-79. Springer, (2011)Using Probabilistic Strategies to Formalize and Compare α-Synuclein Aggregation and Propagation under Different Scenarios., , and . CMSB, volume 8130 of Lecture Notes in Computer Science, page 92-105. Springer, (2013)A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems., and . FoVeOOS, volume 7421 of Lecture Notes in Computer Science, page 105-122. Springer, (2011)On the number of fuzzy subgroups of finite abelian groups., and . Fuzzy Sets Syst., 159 (9): 1084-1096 (2008)