Login / Signup

Towards a Lambda-Calculus for Concurrent and Communicating Systems.

Gérard Boudol
Published in: TAPSOFT, Vol.1 (1989)
Keyphrases
  • lambda calculus
  • management system
  • distributed systems
  • query language
  • general purpose
  • programming language
  • database design