Login
Home > Research > EPrints

Deriving structural labelled transitions for mobile ambients

Rathke, Julian and Sobocinski, Pawel (2008) Deriving structural labelled transitions for mobile ambients. In, 19th International Conference on Concurrency Theory (CONCUR), Toronto, Springer, 462-476.

[file icon]PDF
234Kb

Item Type:Conference or Workshop Item (Paper)
Additional Information: Event Dates: Aug 2008
Divisions:Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems
ePrint ID:266825
Deposited On:23 Oct 2008 16:15
Last Modified:01 Mar 2012 17:23
Further Information:Google Scholar

Associated Staff Only: edit my ePrint