Comparing the Efficiency of Asynchronous Systems

Lars Jenner, Walter Vogler. Comparing the Efficiency of Asynchronous Systems. In Joost-Pieter Katoen, editor, Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26-28, 1999. Proceedings. Volume 1601 of Lecture Notes in Computer Science, pages 172-191, Springer, 1999. [doi]

@inproceedings{JennerV99,
  title = {Comparing the Efficiency of Asynchronous Systems},
  author = {Lars Jenner and Walter Vogler},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1601/16010172.htm},
  researchr = {https://researchr.org/publication/JennerV99},
  cites = {0},
  citedby = {0},
  pages = {172-191},
  booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26-28, 1999. Proceedings},
  editor = {Joost-Pieter Katoen},
  volume = {1601},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66010-0},
}