On Bisimulations for the Asynchronous pi-Calculus.

Roberto M. Amadio Ilaria Castellani Davide Sangiorgi

Published in: Theor. Comput. Sci. (1998)

Keyphrases

discussion forums
computer algebra
delay insensitive
data sets
state machines
knowledge base
image sequences
online discussion
proof procedure
automated deduction
asynchronous communication