Vinícius Ferreira de Oliveira

According to our database, Vinícius Ferreira de Oliveira authored at least 2 papers in 2017.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2017

Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound.

Kênia Santos de Oliveira, Vinícius Ferreira de Oliveira, Stéphane Julia

Proceedings of the ICEIS 2017, 2017

A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition.

Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira

Proceedings of the ICEIS 2017, 2017