Login / Signup

Notes on Algebraic Calculi of Processes.

Gérard Boudol
Published in: Logics and Models of Concurrent Systems (1984)
Keyphrases
  • qualitative spatial
  • process model
  • database
  • higher order
  • computational intelligence