CSE6490A

User Tools

Site Tools

You are here: Concurrent Object Oriented Languages » Assignments » Assignment 1
Trace:
assignments:a1

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
assignments:a1 [2015/01/27 20:11] – franckassignments:a1 [2015/02/14 05:10] – xmb
Line 27: Line 27:
 {{:public:myassignment1.pdf|myassignment1.pdf}} contains a sample.  The corresponding LaTeX and BiBTeX files are {{:public:myassignment1.tex.txt|myassignment1.tex}} and {{:public:myassignment1.bib.txt|myassignment1.bib}}, respectively (remove the suffix .txt from the file name). {{:public:myassignment1.pdf|myassignment1.pdf}} contains a sample.  The corresponding LaTeX and BiBTeX files are {{:public:myassignment1.tex.txt|myassignment1.tex}} and {{:public:myassignment1.bib.txt|myassignment1.bib}}, respectively (remove the suffix .txt from the file name).
  
-{{:public:franck1.pdf|}} 
 ===== List your paper ===== ===== List your paper =====
  
Line 33: Line 32:
  
   * Qiyi Tang:\\ Bacci, G., Bacci, G., Larsen, K.G., Mardare, R.,[[http://link.springer.com/chapter/10.1007%2F978-3-642-36742-7_1|On-the-Fly Exact Computation of Bisimilarity]].//TACAS 2013//, vol. 7795, pp. 1–15. Springer, Heidelberg, March 16-24 2013.   * Qiyi Tang:\\ Bacci, G., Bacci, G., Larsen, K.G., Mardare, R.,[[http://link.springer.com/chapter/10.1007%2F978-3-642-36742-7_1|On-the-Fly Exact Computation of Bisimilarity]].//TACAS 2013//, vol. 7795, pp. 1–15. Springer, Heidelberg, March 16-24 2013.
 +
 +  * 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.
assignments/a1.txt · Last modified: 2015/04/03 19:29 by franck