Login / Signup
A calculus for attribute-based communication.
Yehia Abd Alrahman
Rocco De Nicola
Michele Loreti
Francesco Tiezzi
Roberto Vigo
Published in:
SAC (2015)
Keyphrases
</>
information exchange
communication systems
automated deduction
communication networks
machine learning
relational databases
email
communication cost
communication overhead
communication protocol
computer algebra