Steve Kremer: Proceedings of the 7th International Workshop on Security Issues in Concurrency (SecCo'09)

Proceedings of the 7th International Workshop on Security Issues in Concurrency (SecCo'09)

Michele Boreale and Steve Kremer, editors. Proceedings of the 7th International Workshop on Security Issues in Concurrency (SecCo'09), Electronic Proceedings in Theoretical Computer Science 7, Bologna, Italy, August 2009.
doi:10.4204/EPTCS.7

Download

[HTML]

Abstract

(unavailable)

BibTeX

@book{BK-secco2009,
  address =       {Bologna, Italy},
  booktitle =     {{P}roceedings of the 7th {I}nternational {W}orkshop
                   on {S}ecurity {I}ssues in {C}oncurrency
                   ({S}ec{C}o'09)},
  DOI =           {10.4204/EPTCS.7},
  editor =        {Boreale, Michele and Kremer, Steve},
  month =         aug,
  series =        {Electronic Proceedings in Theoretical Computer
                   Science},
  title =         {{P}roceedings of the 7th {I}nternational {W}orkshop
                   on {S}ecurity {I}ssues in {C}oncurrency
                   ({S}ec{C}o'09)},
  volume =        {7},
  year =          {2009},
  acronym =       {{S}ec{C}o'09},
  nmonth =        {8},
  conf-year =     {2009},
  conf-month =    oct,
  url =           {http://published.eptcs.org/content.cgi?SECCO2009},
}