A Symbolic Procedure for Control Reachability in the Asynchronous π-calculus: Extended Abstract
Giorgio DelzannoVolume:
98
Year:
2004
Language:
english
Pages:
13
DOI:
10.1016/j.entcs.2003.10.004
File:
PDF, 226 KB
english, 2004