( en | de | ru )

 

Disambiguation of "Capra, Lorenzo"

Author of the publication

copydeleteadd this publication to your clipboard
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters.

, , , and . RP, volume 8169 of Lecture Notes in Computer Science, page 83-95. Springer, (2013)

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.

Federica Capranico

Renato Capraro

Gabriele Caprano-Diehl

Félicien Capraro

Hildegard Caprano

 

Other publications of authors with the same name

Distributed CTL Model Checking in the Cloud., , , and . CoRR, (2013)An Efficient Maude Formalization of (Rewritable) PT Nets.. SYNASC, page 186-193. IEEE, (2021)SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation., , and . ICATPN, volume 1639 of Lecture Notes in Computer Science, page 168-187. Springer, (1999)MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters., , , and . RP, volume 8169 of Lecture Notes in Computer Science, page 83-95. Springer, (2013)A Formal Framework for Specifying and Verifying Microservices Based Process Flows., , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 187-202. Springer, (2017)Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets, , and . Electronic Notes in Theoretical Computer Science, 128 (4): 59 - 77 (2005)Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling (PASM 2004) Practical Applications of Stochastic Modelling 2004.A lumped Markov process for a class of dynamic Petri nets.. SpringSim (ANSS), page 188-197. SCS/ACM, (2011)1-930638-56-6.A Symbolic Reachability Graph and Associated Markov Process for a Class of Dynamic Petri Nets.. MASCOTS, page 458-461. IEEE Computer Society, (2010)A pure SPEC-inscribed PN model for reconfigurable systems.. WODES, page 459-465. IEEE, (2016)A Maude Formalization of Object Nets., and . ECSA (Tracks and Workshops), volume 13928 of Lecture Notes in Computer Science, page 246-261. Springer, (2022)