Deriving structural labelled transitions for mobile ambients


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

Download

[img] PDF concurFinal.pdf - Other
Download (239kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: Aug 2008
Venue - Dates: 19th International Conference on Concurrency Theory (CONCUR), 2008-08-01
Organisations: Electronic & Software Systems
ePrint ID: 266825
Date :
Date Event
2008Published
Date Deposited: 23 Oct 2008 15:15
Last Modified: 17 Apr 2017 18:58
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266825

Actions (login required)

View Item View Item