Login / Signup

The Polyadic Pi-calculus (Abstract).

Robin Milner
Published in: CONCUR (1992)
Keyphrases
  • higher level
  • formal language
  • data sets
  • databases
  • search engine
  • website
  • automated deduction