TY - GEN
AU - Crafa, Silvia
AU - Rossi, Sabina
TI - Controlling information release in 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 - 2007
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation