Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
Assignment 1

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

assignments:a1 [2015/04/03 15:25]
franck
assignments:a1 [2015/04/03 15: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.
Last modified:
2015/04/03 15:29