\n \n \n
\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Endowing Concurrent Kleene Algebra with Communication Actions.\n \n \n \n\n\n \n Jaskolka, J.; Khedri, R.; and Zhang, Q.\n\n\n \n\n\n\n In et al. , P. H., editor(s),
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\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{JaskolkaKhedriZhang2014,\n\tAuthor = {Jason Jaskolka and Ridha Khedri and Qinglei Zhang},\n\tBooktitle = {14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014)},\n\tTitle = {Endowing Concurrent {Kleene} Algebra with Communication Actions},\n series = {Lecture Notes in Computer Science},\n editor = {P. H�fner et al.}, \n publisher = {Springer International Publishing Switzerland},\n pages = {19 -- 36},\n volume = {8428},\n year = {2014}\n}\n%RAMICS Month = {27 April -- 1 May},\n\n\n%------------------------------------------------------\n%---------------------- Published 2013 -------\n%------------------------------------------------------\n\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n An Aspect-Oriented Language for Feature-Modeling.\n \n \n \n\n\n \n Zhang, Q.; Khedri, R.; and Jaskolka, J.\n\n\n \n\n\n\n
Journal of Ambient Intelligence and Humanized Computing, 5: 343 – 356. 2014.\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{ZhangKhedriJaskolka2013,\n author = {Qinglei Zhang and Ridha Khedri and Jason Jaskolka},\n title = {An Aspect-Oriented Language for Feature-Modeling},\n journal = {Journal of Ambient Intelligence and Humanized Computing},\n pages = {343 -- 356},\n volume = 5,\n Publisher = {Springer},\n ORTNote= {(Published online: 23 July 2013)},\n year = {2014}\n}\n\n%-------\n\n%------------------------------------------------------\n%---------------------- Published 2012 -------\n%------------------------------------------------------\n
\n
\n\n\n\n
\n\n\n\n\n\n