A sharing-based approach to supporting adaptation in service compositions
From MaRDI portal
Publication:488324
Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 3464827 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 2161330 (Why is no real title available?)
- An overview of Ciao and its design philosophy
- Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
- Concept Lattices
- Dependence logic. A new approach to independence friendly logic
- Formal concept analysis. Foundations and applications.
- Grammar Analysis and Parsing by Abstract Interpretation
- Independence-friendly logic and axiomatic set theory
- Journal on Data Semantics IV
- Ontology Matching
This page was built for publication: A sharing-based approach to supporting adaptation in service compositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q488324)