@TechReport{garg05:cll,
  author =   {Deepak Garg},
  title =    {{CLL}: A concurrent language built from logical principles},
  institution =  {Computer Science Department, Carnegie Mellon University},
  year =     2005,
  number =   {CMU-CS-05-104},
  month =    {January}
}