A coalgebraic approach to the semantics of the ambient calculus.

Daniel Hausmann Till Mossakowski Lutz Schröder

Published in: Theor. Comput. Sci. (2006)

Keyphrases

formal language
algebraic structure
formal semantics
process algebra
ambient intelligence
semantic information
database query languages
natural language
logic programming
concurrent systems
databases
xml documents
intelligent environments
relational calculus