Model-checking Web Services Orchestrations using BP-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
The area of finance has always evolved along side withthe development of new technology. Adopting a new technologyis often used to gain competitive advantage whichis an important requirement for many financial institutionsin this industry. For instance, utilising new technologies incapital markets trading automation is one of the major factorsfor the market efficiency and competitiveness as timehas a huge impact on the costs incurred by financial institutions.