A Complete Symbolic Bisimulation for Full Applied Pi Calculus.

Jia Liu Huimin Lin

Published in: SOFSEM (2010)

Keyphrases

high level
real time
information systems
e learning
web services
case study