Author of the publication

Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification.

, and . ICTAI, page 667-673. IEEE Computer Society, (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.

 

Other publications of authors with the same name

A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition., , and . SOSE, IEEE, (2019)Game modeling using WorkFlow nets., , and . SMC, page 838-843. IEEE, (2011)Mental Health of Computer Science Students during the COVID-19 Pandemic Social Isolation., , , , and . Revista Brasileira de Informática na Educ., (2023)Siphon-based deadlock prevention policy for interorganizational WorkFlow net design., , , and . IRI, page 293-300. IEEE Computer Society, (2013)Análise qualitativa e quantitativa de WorkFlow nets utilizando Lógica Linear., and . SBSI, page 24-36. (2009)Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets., , , and . SBSI, page 674-685. (2013)Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais.. Federal University of Uberlândia, Brazil, (2016)ndltd.org (oai:repositorio.ufu.br:123456789/12458).Relaxed Soundness Verification for Interorganizational Workflow Processes., and . ICEIS (3), page 221-228. SciTePress, (2015)Deadlock-Freeness Scenarios Detection in Web Service Composition., and . ITNG, page 780-783. IEEE Computer Society, (2015)FaceEduc: Análises e Resultados da Adaptação Gráfica do Moodle baseada no Facebook., , , , and . SBSI, page 244-255. (2014)