Modal Logics for Mobile Processes Revisited.

Tiange Liu, Alwen Tiu, Jim de Groot

Browse the full CONCUR paper archive.