Abstract GSOS Rules and a Modular Treatment of Recursive Definitions (bibtex)

by Stefan Milius, Lawrence S. Moss and Daniel Schwencke

Reference:

Stefan Milius, Lawrence S. Moss and Daniel Schwencke: Abstract GSOS Rules and a Modular Treatment of Recursive Definitions, In Log. Methods Comput. Sci., 9(3:28), pp. 52 pp., 2013.

Bibtex Entry:

@Article{mms13,
  author = 	 {Stefan Milius and Lawrence S.~Moss and Daniel Schwencke},
  title = 	 {Abstract GSOS Rules and a Modular Treatment of Recursive Definitions},
  journal = 	 {Log.~Methods Comput.~Sci.},
  year = 	 {2013},
  OPTkey = 	 {},
  volume = 	 {9},
  number = 	 {3:28},
  pages = 	 {52~pp.},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}