Vinícius Ferreira de Oliveira

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Web Service Compositions

Swarm Intelligence

Top Venues

Publications

Kênia Santos de Oliveira, Vinícius Ferreira de Oliveira, Stéphane Julia
Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound. ICEIS (2) (2017)
Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira
A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition. ICEIS (2) (2017)