Deriving structural labelled transitions for mobile ambients (bibtex)
by J. Rathke and P. Sobociński
Reference:
J. Rathke and P. 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 = {J. Rathke and P. 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://www.southampton.ac.uk/~ps1a06/papers/ambients.pdf},
}
Powered by bibtexbrowser