FPGA-based coprocessor for text string extraction
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000
We consider the problem of encoding the π-calculus with mixed choice (i.e. input/output guarded choice) into the asynchronous π-calculus. We are interested in a translation which satisfies certain desirable properties, namely uniformity and preservation of a reasonable semantics. Although it has been shown that this is not possible with an exact encoding, we suggest a randomized approach using a probabilistic extension of the asynchronous π-calculus, and we show that our solution is correct with probability 1 under any proper adversary wrt a notion of testing semantics. This result establishes the basis for a distributed and symmetric implementation of mixed choice which, unlike previous proposals in literature, does not rely on assumptions on the relative speed of processes and it is robust to attacks of proper adversaries. © 2005 Elsevier B.V. All rights reserved.
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000
Elliot Linzer, M. Vetterli
Computing
Zohar Feldman, Avishai Mandelbaum
WSC 2010
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006