A sharing-based approach to supporting adaptation in service compositions

This publication has 31 references indexed in Scilit:

• Coordination for fragmented loops and scopes in a distributed business process
  Information Systems, 2012
• An overview of Ciao and its design philosophy
  Theory and Practice of Logic Programming, 2011
• A journey to highly dynamic, self-adaptive service-based applications
  Automated Software Engineering, 2008
• Structural Detection of Deadlocks in Business Process Models
  2008
• Dynamic workflow model fragmentation for distributed execution
  Computers in Industry, 2007
• Applying Propositional Logic to Workflow Verification
  Information Technology and Management, 2004
• Independence-friendly logic and axiomatic set theory
  Annals of Pure and Applied Logic, 2004
• Formal Concept Analysis for Knowledge Discovery and Data Mining: The New Challenges
  2004
• Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming
  ACM Transactions on Programming Languages and Systems, 1999
• Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
  The Journal of Logic Programming, 1999