— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
: In the past decade, knowledge management has played a critical and active role in business settings at the organisation level. Recently, the importance of knowledge management is...
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
Narayan C. Debnath, Daniel Riesco, Manuel Pé...