TY - GEN
AU - Pistore, Marco
AU - Sangiorgi, Davide
TI - A Partition Refinement Algorithm for the π-Calculus
PB - Elsevier BV
SN - 0890-5401
KW - Computational Theory and Mathematics
KW - Computer Science Applications
KW - Information Systems
KW - Theoretical Computer Science
PY - 2001
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation