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 |
![]() | Choreography Projection and Contract Refinement Mario Bravetti http://cs.unibo.it/~bravettiDocID: W76j - View Document |
![]() | [removed]Web Services Choreography DescriptionDocID: RuM5 - View Document |
![]() | Adobe® Web Services Choreography Charlton BarretoDocID: NNJm - View Document |
![]() | A Theoretical Basis of Communication-Centred Concurrent ProgrammingDocID: 23tb - View Document |
![]() | Exploring into the Essence of Choreography∗ Qiu Zongyan, Cai Chao, Zhao Xiangpeng, and Yang Hongli LMAM & Department of Informatics, School of Math., Peking UniversityDocID: 1MdD - View Document |