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 Information and Computation, vol. 208, pp. 1221-1242, 2010.

Bibtex Entry:

@ARTICLE{Rathke2010,
  author = {Julian Rathke and Pawe{\l} Soboci{\'{n}}ski},
  title = {Deriving structural labelled transitions for mobile ambients},
  journal = {Information and Computation},
  year = {2010},
  volume = {208},
  pages = {1221-1242},
  url = {https://compose.ee/pawel/papers/ambjournal.pdf}
}