Type and Effect Systems: Behaviours for Concurrency

T. Amtoft, F. Nielson, H. Riis Nielson

TypeBook [Author]
Year1999
PublisherIC Press
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering