Process Algebraic Specification of the New Asynchronous CORBA Messaging Service.

Mauro Gaspari Gianluigi Zavattaro

Published in: ECOOP (1999)

Keyphrases

messaging service
neural network
clustering algorithm
state machines
real time
image processing
control system
distributed systems
process model