6 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 5 cited
Service-Oriented Logic Programming
Ionut Tutu, Jose Luiz Fiadeiro
We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structure…
cs.SE2010★ 6 cited
Structure and Behaviour of Virtual Organisation Breeding Environments
Laura Bocchi, José Fiadeiro, Noor Rajper +1
This paper provides an outline of a formal approach that we are developing for modelling Virtual Organisations (VOs) and their Breeding Environments (VBEs). We propose different le…