Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System.

Masaki Murakami

Published in: TASE (2013)

Keyphrases

equivalence relation
contextual information
ambient intelligence
context sensitive
automated deduction
neural network
database
real time
real world
learning algorithm
mobile devices
intelligent environments
computer algebra