A sharing-based approach to supporting adaptation in service compositions
From MaRDI portal
Publication:488324
DOI10.1007/s00607-012-0230-zzbMath1314.68065OpenAlexW2053569861MaRDI QIDQ488324
Dragan Ivanović, Manuel Carro, Manuel V. Hermenegildo
Publication date: 26 January 2015
Published in: Computing (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/33656/
Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Independence-friendly logic and axiomatic set theory
- Formal concept analysis. Foundations and applications.
- An overview of Ciao and its design philosophy
- Ontology Matching
- Grammar Analysis and Parsing by Abstract Interpretation
- Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
- Journal on Data Semantics IV
- Concept Lattices
This page was built for publication: A sharing-based approach to supporting adaptation in service compositions
