Login / Signup

Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch.

C. A. R. Hoare
Published in: The Analysis of Concurrent Systems (1983)
Keyphrases
  • concurrent systems
  • information retrieval
  • statistical analysis
  • data sets
  • neural network
  • information systems
  • knowledge base
  • temporal logic