User Tools

Site Tools


assignments:a1

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
assignments:a1 [2015/04/03 19:25] franckassignments:a1 [2015/04/03 19:29] (current) franck
Line 33: Line 33:
   * Qiyi Tang:\\ Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, and Radu Mardare.  [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1007/978-3-642-36742-7_1|On-the-Fly Exact Computation of Bisimilarity]]. In //Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems//, volume 7795 of //Lecture Notes in Computer Science//, pages 1–15, Rome, Italy, March 2013.  Springer-Verlag.   * Qiyi Tang:\\ Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, and Radu Mardare.  [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1007/978-3-642-36742-7_1|On-the-Fly Exact Computation of Bisimilarity]]. In //Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems//, volume 7795 of //Lecture Notes in Computer Science//, pages 1–15, Rome, Italy, March 2013.  Springer-Verlag.
  
-  * Mingbin Xu:\\ Shavit, Nir, and Itay Lotan. [[http://dx.doi.org/10.1109/IPDPS.2000.845994|Skiplist-based concurrent priority queues]]. In //Parallel and Distributed Processing Symposium, 2000. IPDPS 2000. Proceedings. 14th International,// pages 263-268. IEEE, 2000.+  * Mingbin Xu:\\ Nir Shavit and Itay Lotan. [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1109/IPDPS.2000.845994|Skiplist-based concurrent priority queues]]. In //Proceedins of the 14th International Parallel and Distributed Processing Symposium//pages 263-268, Cancun, Mexico, May 2000. IEEE.
assignments/a1.txt · Last modified: 2015/04/03 19:29 by franck