On Bisimulations for the Asynchronous pi-Calculus.

Roberto M. Amadio Ilaria Castellani Davide Sangiorgi

Published in: CONCUR (1996)

Keyphrases

computer algebra
discussion forums
automated deduction
asynchronous communication
delay insensitive
real time
information retrieval
website
spatial relations
inference rules
asynchronous circuits
provably correct
state machines
sequent calculus
asynchronous cellular automata