On the Expressive Power of Communication Primitives in Parameterised Systems (bibtex)
by Benjamin Aminof, Sasha Rubin, Florian Zuleger
Reference:
On the Expressive Power of Communication Primitives in Parameterised SystemsBenjamin Aminof, Sasha Rubin, Florian ZulegerLogic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, volume 9450 of Lecture Notes in Computer Science, pages 313-328, 2015, Springer.
Bibtex Entry:
@inproceedings{conf/lpar/AminofRZ15,
  author    = {Benjamin Aminof and
               Sasha Rubin and
               Florian Zuleger},
  title     = {On the Expressive Power of Communication Primitives in Parameterised
               Systems},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
               International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
               2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9450},
  publisher = {Springer},
  pages     = {313--328},
  year      = {2015},
  doi       = {10.1007/978-3-662-48899-7_22},
}
Powered by bibtexbrowser