Infori-nation systems as a tool for specification of concurrent systems.

Published in: ICRA (2003)

Keyphrases

concurrent systems
distributed systems
formal specification
transition systems
management system
formal methods
learning systems
process algebra
data sets
neural network
computer systems
complex systems
model checking
specification language