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 Information and Computation, vol. 208, pp. 1221-1242, 2010.
Bibtex Entry:
@ARTICLE{Rathke2010,
  author = {J. Rathke and P. Soboci\'{n}ski},
  title = {Deriving structural labelled transitions for mobile ambients},
  journal = {Information and Computation},
  year = {2010},
  volume = {208},
  pages = {1221-1242},
  url = {https://www.southampton.ac.uk/~ps1a06/papers/ambjournal.pdf}
}
Powered by bibtexbrowser