Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.

Martin Berger, Kohei Honda, Nobuko Yoshida

Browse the full ICALP paper archive.