in COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 3525, Pages: 133-150 (18)
Conference
Symposium on 25 Years of Communicating Sequential Processes, Date: JUL 07-08, 2004, Location: London, ENGLAND, Sponsors: BCS FACS, Microsoft Res, Formal Methods Europe, Handshake Solut, Verified Syst Int GmbH, Formal Syst Europe Ltd, Host: London S Bank Univ