On the specification of operations on the rational behaviour of systems (bibtex)

by Marcello M. Bonsangue, Stefan Milius and Jurriaan Rot

Reference:

Marcello M. Bonsangue, Stefan Milius and Jurriaan Rot: On the specification of operations on the rational behaviour of systems, In Bas Luttik, Michel A. Reniers, eds.: Proc. Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS'12), Electron. Proc. Theoret. Comput. Sci., vol. 89, pp. 3–18, 2012.

Bibtex Entry:

@InProceedings{bmr12,
  author = 	 {Marcello M.~Bonsangue and Stefan Milius and Jurriaan Rot},
  title = 	 {On the specification of operations on the rational behaviour of systems},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS'12)},
  pages = 	 {3--18},
  year = 	 {2012},
  editor = 	 {Bas Luttik and Michel A.~Reniers},
  volume = 	 {89},
  OPTnumber = 	 {},
  series = 	 {Electron.~Proc.~Theoret.~Comput.~Sci.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}