Towards a Uniform Theory of Effectful State Machines (bibtex)

by Sergey Goncharov, Stefan Milius and Alexandra Silva

Reference:

Sergey Goncharov, Stefan Milius and Alexandra Silva: Towards a Uniform Theory of Effectful State Machines, In ACM Trans. Comput. Logic, 21(3), 2020. [preprint]

Bibtex Entry:

@Article{	  GoncharovMiliusEtAl20,
  author	= {Goncharov, Sergey and Milius, Stefan and Silva,
		  Alexandra},
  title		= {Towards a Uniform Theory of Effectful State Machines},
  year		= {2020},
  issue_date	= {March 2020},
  publisher	= {Association for Computing Machinery},
  address	= {New York, NY, USA},
  volume	= {21},
  number	= {3},
  url		= {https://doi.org/10.1145/3372880},
  comment = {<a href="https://arxiv.org/abs/1401.5277v6">[preprint]</a>},
  journal	= {ACM Trans. Comput. Logic},
  month		= mar,
  articleno	= {Article 23},
  numpages	= {63}
}