@TECHREPORT{04-2002,
    AUTHOR	= {Roberto M. Amadio and Charles Meyssonnier},
    TITLE	= {{On decidability of the control reachability problem in the asynchronous pi-calculus}},
    INSTITUTION	= {{LIF}},
    ADDRESS	= {Marseille, France},
    TYPE	= {Research report},
    NUMBER	= {04-2002},
    MONTH	= {May},
    YEAR	= {2002},
    NOTE	= {http://pageperso.lif.univ-mrs.fr/~edouard.thiel/RESP/Rapports/04-2002.html},
}