A Theory of Communicating Sequential Processes. Journal of the Association for Computing Machinery (1984)

by Bard Bloom, Soren Istrail, Albert R Meyer
Venue:BlM88] [CG86] [CM881 [Dav83] [dBK88] [Dij76] [DvH+88] [FTSSa] [FTSSb] [GCLS88] [GMS89] [Gre87] [Hen881 lJL873 [JLLI