From CML to Process Algebras Export

@inproceedings{citeulike:2254660, abstract = {Reppy's language CML extends Standard ML of Milner et al. with primitives for communication. It thus inherits a notion of strong polymorphic typing and may be equipped with a structural operational semantics. We formulate an effect system for statically expressing the communication behaviours of CML programs as these are not otherwise reflected in the types. We then show how types and behaviours evolve in the course of computation: types may decrease and behaviours may loose alternatives as...}, address = {Berlin, Heidelberg, and New York}, author = {Nielson, Flemming and Nielson, Hanne R.}, booktitle = {Proceesings of CONCUR '93}, citeulike-article-id = {2254660}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/nielson93from.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/nielson93from.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/nielson93from.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/nielson93from.html}, keywords = {cml, concurrency, ml, process-algebras}, pages = {493--508}, posted-at = {2008-01-19 00:14:23}, priority = {2}, publisher = {Springer-Verlag}, title = {From CML to Process Algebras}, url = {http://citeseer.ist.psu.edu/nielson93from.html}, year = {1993} }

TY - CONF ID - citeulike:2254660 L3 - citeulike-article-id:2254660 N2 - Reppy's language CML extends Standard ML of Milner et al. with primitives for communication. It thus inherits a notion of strong polymorphic typing and may be equipped with a structural operational semantics. We formulate an effect system for statically expressing the communication behaviours of CML programs as these are not otherwise reflected in the types. We then show how types and behaviours evolve in the course of computation: types may decrease and behaviours may loose alternatives as... AD - Berlin, Heidelberg, and New York EP - 508 TI - From CML to Process Algebras PB - Springer-Verlag T2 - Proceesings of CONCUR '93 SP - 493 KW - cml KW - concurrency KW - ml KW - process-algebras AU - Nielson, Flemming AU - Nielson, Hanne PY - 1993/// UR - http://citeseer.ist.psu.edu/nielson93from.html ER -