On the expressive power of recursion, replication and iteration in process calculi
BUSI, NADIA, GABBRIELLI, MAURIZIO, ZAVATTARO, GIANLUIGIТом:
19
Мова:
english
Журнал:
Mathematical Structures in Computer Science
DOI:
10.1017/S096012950999017X
Date:
December, 2009
Файл:
PDF, 405 KB
english, 2009