A Semantics for Hybrid Iteration (bibtex)
by Sergey Goncharov, Julian Jakob and Renato Neves
Reference:
Sergey Goncharov, Julian Jakob and Renato Neves: A Semantics for Hybrid Iteration, In Sven Schewe, Lijun Zhang, eds.: 29th International Conference on Concurrency Theory (CONCUR 2018), 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