![]() |
@article{DBLP:journals/tocl/DanosH02,
author = {Vincent Danos and
Russell Harmer},
title = {Probabilistic game semantics},
journal = {ACM Trans. Comput. Log.},
volume = {3},
number = {3},
year = {2002},
pages = {359-382},
ee = {http://doi.acm.org/10.1145/507382.507385},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-21 by Michael Ley (ley@uni-trier.de)