Need ack section - Lone, Bent Practical: may need CHOCS to express shipping of processes, or some notion of creating processes or links in particular places) Facile - our project - our paper? ML+Con Prim (choice - say it later) Facile - our project - our paper? GR implem Our Notation: = Async Semantcis from them - only syntactic diff (tuples - who else had?) see molecular actions in Pi. Add match as simple?- peq or val eq? Sem from original paper: need types ohn links? Translation to GR: Different EXample: (comb redn? Dir Strings?)