Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability.

Marie Farrell Rosemary Monahan James F. Power

Published in: ICFEM (2017)

Keyphrases

constraint satisfaction problems
event detection
web services
decomposition methods
news articles
information systems
events occurring
event recognition
constraint programming
constraint satisfaction
higher education
arc consistency
np complete
online learning
complex events
database
interoperability issues