Context oriented programming in highly concurrent systems.

Carlo Ghezzi Matteo Pradella Guido Salvaneschi

Published in: COP@ECOOP (2010)

Keyphrases

concurrent systems
oriented programming
distributed systems
temporal logic
database
process algebra
model checking
formal specification
data sets
information retrieval
genetic algorithm
artificial intelligence
multi agent systems
context aware
fine grained
transition systems