Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/AubertC15,
  author       = {Cl{\'{e}}ment Aubert and
                  Ioana Cristescu},
  editor       = {Sophia Knight and
                  Ivan Lanese and
                  Alberto Lluch{-}Lafuente and
                  Hugo Torres Vieira},
  title        = {Reversible Barbed Congruence on Configuration Structures},
  booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
                  Grenoble, France, 4-5th June 2015},
  series       = {{EPTCS}},
  volume       = {189},
  pages        = {68--85},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.189.7},
  doi          = {10.4204/EPTCS.189.7},
  timestamp    = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AubertC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/DongF07,
  author       = {Xiaoju Dong and
                  Yuxi Fu},
  title        = {Barbed Congruence of Asymmetry and Mismatch},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {22},
  number       = {4},
  pages        = {575--579},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11390-007-9063-1},
  doi          = {10.1007/S11390-007-9063-1},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/DongF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DengD07,
  author       = {Yuxin Deng and
                  Wenjie Du},
  editor       = {Alessandro Aldini and
                  Franck van Breugel},
  title        = {Probabilistic Barbed Congruence},
  booktitle    = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {190},
  number       = {3},
  pages        = {185--203},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.07.011},
  doi          = {10.1016/J.ENTCS.2007.07.011},
  timestamp    = {Fri, 20 Jan 2023 13:40:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DengD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}