Guest editors' introduction: Special issue on The pi-calculus.

Uwe Nestmann Björn Victor

Published in: J. Log. Algebraic Methods Program. (2005)

Keyphrases

special issue
ai edam
ecml pkdd
international journal
virtual machine
special section
applied intelligence
databases
multimedia
decision support system