Type and Effect Systems: Behaviours for Concurrency
T. Amtoft, F. Nielson, H. Riis Nielson
Type
Book [Author]
Year
1999
Publisher
IC Press
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering