Sign in

Composable specifications for asynchronous systems using UNITY.

Mark Bickford
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