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.
| 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
