A Semantics for Hybrid Iteration (bibtex)
by Sergey Goncharov, Julian Jakob, Renato Neves
Reference:
A Semantics for Hybrid Iteration (Sergey Goncharov, Julian Jakob, Renato Neves), In 29th International Conference on Concurrency Theory (CONCUR 2018) (Sven Schewe, Lijun Zhang, eds.), lncs, springer, 2018.
Bibtex Entry:
@InProceedings{   GoncharovJakobEtAl18,
  author        = {Sergey Goncharov and Julian Jakob and Renato Neves},
  title         = {A Semantics for Hybrid Iteration},
  year          = {2018},
  editor        = {Sven Schewe and Lijun Zhang},
  booktitle     = {29th International Conference on Concurrency Theory
                  (CONCUR 2018)},
  publisher     = springer,
  series        = lncs
}
Powered by bibtexbrowser