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