@Inproceedings{EPTCS17.8,
  author    = {Vasconcelos, Vasco T. and Martins, Francisco and Cogumbreiro, Tiago},
  year      = {2010},
  title     = {Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language},
  editor    = {Beresford, Alastair R. and Gay, Simon},
  booktitle = {{\rm Proceedings Second International Workshop on}
               Programming Language Approaches to Concurrency and Communication-cEntric Software,
               {\rm York, UK, 22nd March 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {17},
  publisher = {Open Publishing Association},
  pages     = {95-109},
  doi       = {10.4204/EPTCS.17.8},
}