![]() |
@article{DBLP:journals/jucs/PowerS04,
author = {James F. Power and
David Sinclair},
title = {A Formal Model of Forth Control Words in the Pi-Calculus},
journal = {J. UCS},
volume = {10},
number = {9},
year = {2004},
pages = {1272-1293},
ee = {http://www.jucs.org/jucs_10_9/a_formal_model_of},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-05-04 by Michael Ley (ley@uni-trier.de)