Rational Operation Models (bibtex)

by Stefan Milius, Marcello M. Bonsangue, Robert S.R. Myers and Jurriaan Rot

Reference:

Stefan Milius, Marcello M. Bonsangue, Robert S.R. Myers and Jurriaan Rot: Rational Operation Models, In Michael Mislove, ed.: Proc. 29th conference on Mathematical Foundations of Programming Science (MFPS XXIX), Electron. Notes Theor. Comput. Sci., vol. 298, pp. 257–282, 2013. The final publication is available at http://dx.doi.org/10.1016/j.entcs.2013.09.017.

Bibtex Entry:

@InProceedings{mbmr13,
  author = 	 {Stefan Milius and Marcello M.~Bonsangue and Robert S.R.~Myers and Jurriaan Rot},
  title = 	 {Rational Operation Models},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~29th conference on Mathematical Foundations of Programming Science (MFPS XXIX)},
  pages = 	 {257--282},
  year = 	 {2013},
  editor = 	 {Michael Mislove},
  volume = 	 {298},
  OPTnumber = 	 {},
  series = 	 {Electron.~Notes~Theor.~Comput.~Sci.},
  doi       = {10.1016/j.entcs.2013.09.017},
  comment = {The final publication is available at  <a href="http://dx.doi.org/10.1016/j.entcs.2013.09.017">http://dx.doi.org/10.1016/j.entcs.2013.09.017</a>.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}