Synchronized Parallel Composition of Event Systems in B.

Françoise Bellegarde Jacques Julliand Olga Kouchnarenko

Published in: ZB (2002)

Keyphrases

real time
retrieval systems
event detection
computing systems
neural network
image sequences
management system
distributed systems
computer systems
knowledge based systems
load balancing
parallel implementation