First Page | Document Content | |
---|---|---|
![]() Date: 2003-11-10 12:46:30Concurrency Actor model Theoretical computer science Concurrent computing Inter-process communication Π-calculus Process calculus Lambda calculus Futures and promises Mathematics Computing Process calculi | Source URL: formal.cs.uiuc.eduDownload Document from Source WebsiteFile Size: 269,75 KBShare Document on Facebook |