First Page | Document Content | |
---|---|---|
![]() Date: 2006-10-23 12:21:19Computing Computer science Process calculus Lambda calculus Π-calculus Calculus WS-CDL Actor model and process calculi history Process calculi Theoretical computer science Applied mathematics | Add to Reading List |
![]() | CURRICULUM VITAE (revised in January[removed]NameDocID: 4xVJ - View Document |
![]() | A Theoretical Basis of Communication-Centred Concurrent ProgrammingDocID: 23tb - View Document |