A Theoretical Basis of Communication-Centred Concurrent Programming

First Page		Document Content
Date: 2006-10-23 12:21:19 Computing Computer science Process calculus Lambda calculus Π-calculus Calculus WS-CDL Actor model and process calculi history Process calculi Theoretical computer science Applied mathematics		A Theoretical Basis of Communication-Centred Concurrent Programming Add to Reading List Source URL: www.w3.org Download Document from Source Website File Size: 803,22 KB Share Document on Facebook

	Choreography Projection and Contract Refinement Mario Bravetti http://cs.unibo.it/~bravetti DocID: W76j - View Document
	[removed]Web Services Choreography Description DocID: RuM5 - View Document
	Adobe® Web Services Choreography Charlton Barreto DocID: NNJm - View Document
	A Theoretical Basis of Communication-Centred Concurrent Programming DocID: 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 University DocID: 1MdD - View Document