Session types for communicating systems in event-B.

Carlos Olarte Camilo Rueda

Published in: SAC (2016)

Keyphrases

website
computing systems
case study
distributed systems
management system
event detection
retrieval systems
complex systems
building blocks
intelligent systems
information extraction
neural network
mobile devices
expert systems
database systems
decision making
learning algorithm