MobilityReadingGroup

π-calculus, Session Types research at Imperial College

ETAPS Award: Laudatio for Kohei Honda
Vladimiro SASSONE
Bulletin of the EATCS. p. 11 - 12

@article{S2014,
  author = {Vladimiro Sassone},
  title = {{ETAPS Award: Laudatio for Kohei Honda}},
  journal = {Bulletin of the EATCS},
  volume = {112},
  pages = {11--12},
  publisher = {EATCS},
  year = 2014
}
@article{S2014,
  author = {Vladimiro Sassone},
  title = {{ETAPS Award: Laudatio for Kohei Honda}},
  journal = {Bulletin of the EATCS},
  volume = {112},
  pages = {11--12},
  publisher = {EATCS},
  year = 2014
}