Endowing Concurrent Kleene Algebra with Communication Actions. Jaskolka, J., Khedri, R., & Zhang, Q. In 14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014), volume 8428, of Lecture Notes in Computer Science, pages 19 – 36, 2014. Springer International Publishing Switzerland.
bibtex   
@inproceedings{JaskolkaKhedriZhang2014,
	Author = {Jason Jaskolka and Ridha Khedri and Qinglei Zhang},
	Booktitle = {14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014)},
	Title = {Endowing Concurrent {Kleene} Algebra with Communication Actions},
   series = {Lecture Notes in Computer Science},
   editor = {P. H�fner et al.}, 
   publisher = {Springer International Publishing Switzerland},
   pages = {19 -- 36},
   volume = {8428},
   year = {2014}
}
%RAMICS Month = {27 April -- 1 May},


%------------------------------------------------------
%---------------------- Published 2013 -------
%------------------------------------------------------

Downloads: 0