First Page | Document Content | |
---|---|---|
![]() Date: 2015-05-22 10:50:40Process calculi Theoretical computer science Process calculus Mathematics -calculus Calculus Lambda calculus Computer science Actor model and process calculi history Join-calculus | 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 |