Towards a Coalgebraic Semantics of the Ambient Calculus.
Daniel HausmannTill MossakowskiLutz SchröderPublished in: CALCO (2005)
Keyphrases
- formal language
- algebraic structure
- ambient intelligence
- database query languages
- formal semantics
- process algebra
- relational calculus
- proof theoretic
- logic programming
- intelligent environments
- databases
- model theoretic
- tableau calculus
- argumentation semantics
- computer algebra
- reasoning tasks
- conceptual model
- programming language
- xml documents