Deciding Reachability in Mobile Ambients.

Nadia Busi, Gianluigi Zavattaro

Browse the full ESOP paper archive.