Timed Mobile Ambients for Network Protocols.

Bogdan Aman, Gabriel Ciobanu

Browse the full FORTE paper archive.