Reducing behavioural to structural properties of programs with procedures. Gurov, D. & Huisman, M. Theor. Comput. Sci., 480:69-103, 2013.
Reducing behavioural to structural properties of programs with procedures. [link]Link  Reducing behavioural to structural properties of programs with procedures. [link]Paper  bibtex   
@article{journals/tcs/GurovH13,
  added-at = {2013-04-18T00:00:00.000+0200},
  author = {Gurov, Dilian and Huisman, Marieke},
  biburl = {https://www.bibsonomy.org/bibtex/25571202fce13c1168a72ba66913fd073/dblp},
  ee = {http://dx.doi.org/10.1016/j.tcs.2013.02.006},
  interhash = {3c4109bade5000ce3584d2e2d8f0994b},
  intrahash = {5571202fce13c1168a72ba66913fd073},
  journal = {Theor. Comput. Sci.},
  keywords = {dblp},
  pages = {69-103},
  timestamp = {2013-08-13T12:55:00.000+0200},
  title = {Reducing behavioural to structural properties of programs with procedures.},
  url = {http://dblp.uni-trier.de/db/journals/tcs/tcs480.html#GurovH13},
  volume = 480,
  year = 2013
}

Downloads: 0