DMCA

Spi Calculus Translated to πCalculus Preserving May Testing (2003)

by Michael Baldamus , Joachim Parrow , Michael Baldamus , Joachim Parrow , Björn Victor
Citations:4 - 0 self