Deriving structural labelled transitions for mobile ambients (bibtex)

by Julian Rathke and Paweł Sobociński

Reference:

Julian Rathke and Paweł Sobociński, Deriving structural labelled transitions for mobile ambients, In Concurrency Theory (CONCUR `08), Springer, vol. 5201, pp. 462–476, 2008.

Bibtex Entry:

@string{lncs="LNCS"}
@InProceedings{ ambients,
 author = {Julian Rathke and Pawe{\l} Soboci{\'{n}}ski},
 title = {Deriving structural labelled transitions for mobile ambients},
 booktitle = {Concurrency Theory ({CONCUR `08})},
 year = {2008},
 series = {LNCS},
 volume = {5201},
 pages = {462--476},
 publisher = {Springer},
 url = {https://compose.ee/pawel/papers/ambients.pdf},
}