( en | de | ru )

 

Disambiguation of "Rosa-Velardo, Fernando"

Author of the publication

copydeleteadd this publication to your clipboard
Analysis of Asynchronous Programs with Event-Based Synchronization.

, , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 535-559. Springer, (2015)

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.

Carmelo Velardo

Birgit Rosati

José Manuel la Rosa Vázquez

Walter Rosam

Claudia Rosanowski

 

Other publications of authors with the same name

Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding.. WRLA, volume 6381 of Lecture Notes in Computer Science, page 191-207. Springer, (2010)Ubiquitous Systems and Petri Nets., , and . ICCSA (2), volume 3481 of Lecture Notes in Computer Science, page 1156-1166. Springer, (2005)Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets., and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 461-476. Springer, (2006)Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data., and . LATA, volume 6031 of Lecture Notes in Computer Science, page 524-535. Springer, (2010)On the Expressiveness of Mobile Synchronizing Petri Nets., , and . SecCO@CONCUR, volume 180 of Electronic Notes in Theoretical Computer Science, page 77-94. Elsevier, (2005)Ordinal recursive complexity of Unordered Data Nets.. Inf. Comput., (2017)Safety and Soundness for Priced Resource-Constrained Workflow Nets., and . Fundam. Informaticae, 131 (1): 55-80 (2014)On the coverability and reachability languages of monotonic extensions of Petri nets., and . Theor. Comput. Sci., (2013)Dynamic Networks of Timed Petri Nets., and . Petri Nets, volume 8489 of Lecture Notes in Computer Science, page 294-313. Springer, (2014)Name Creation vs. Replication in Petri Net Systems., and . ICATPN, volume 4546 of Lecture Notes in Computer Science, page 402-422. Springer, (2007)