User Tools

Site Tools


Selecting Theories and Recursive Protocols (BibTeX)

@inproceedings{Truderung-CONCUR-2005,
  author      = {Tomasz Truderung},
  title       = {Selecting Theories and Recursive Protocols},
  booktitle   = {CONCUR 2005 - Concurrency Theory, 16th International Conference},
  editor      = {Mart\'{\i}n Abadi and Luca de Alfaro},
  series      = {Lecture Notes in Computer Science},
  volume      = 3653,
  year        = 2005,
  pages       = {217-232},
  publisher   = {Springer},
}