Composable specifications for asynchronous systems using UNITY.

Published in: ASYNC (1994)

Keyphrases

distributed systems
neural network
high level
knowledge based systems
metadata
multimedia
relational databases
intelligent systems
learning systems
complex systems
formal methods