%0 Journal Article %1 journals/iandc/RathkeS10 %A Rathke, Julian %A Sobocinski, Pawel %D 2010 %J Inf. Comput. %K dblp %N 10 %P 1221-1242 %T Deriving structural labelled transitions for mobile ambients. %U http://dblp.uni-trier.de/db/journals/iandc/iandc208.html#RathkeS10 %V 208

@article{journals/iandc/RathkeS10, added-at = {2021-02-12T00:00:00.000+0100}, author = {Rathke, Julian and Sobocinski, Pawel}, biburl = {https://www.bibsonomy.org/bibtex/2eb457e1df458352b1099ca4db12c84d0/dblp}, ee = {https://doi.org/10.1016/j.ic.2010.06.001}, interhash = {8039907f81c6b10696bd5be8e0b58cd7}, intrahash = {eb457e1df458352b1099ca4db12c84d0}, journal = {Inf. Comput.}, keywords = {dblp}, number = 10, pages = {1221-1242}, timestamp = {2024-04-09T06:08:51.000+0200}, title = {Deriving structural labelled transitions for mobile ambients.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc208.html#RathkeS10}, volume = 208, year = 2010 }