Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract).

Vasileios Koutavas, Matthew Hennessy

Browse the full CONCUR paper archive.