Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1209-2237,
  author       = {Gregorio D{\'{\i}}az and
                  Luis Llana and
                  Valent{\'{\i}}n Valero Ruiz and
                  Jos{\'{e}} Antonio Mateo},
  editor       = {Gordon J. Pace and
                  Anders P. Ravn},
  title        = {Conformance Verification of Normative Specifications using {C-O} Diagrams},
  booktitle    = {Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented
                  Software, {FLACOS} 2012, Bertinoro, Italy, 19 September 2012},
  series       = {{EPTCS}},
  volume       = {94},
  pages        = {1--10},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.94.1},
  doi          = {10.4204/EPTCS.94.1},
  timestamp    = {Mon, 03 Jan 2022 22:03:19 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-2237.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1209-2238,
  author       = {Gordon J. Pace and
                  Fernando Schapachnik},
  editor       = {Gordon J. Pace and
                  Anders P. Ravn},
  title        = {Contracts for Interacting Two-Party Systems},
  booktitle    = {Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented
                  Software, {FLACOS} 2012, Bertinoro, Italy, 19 September 2012},
  series       = {{EPTCS}},
  volume       = {94},
  pages        = {21--30},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.94.3},
  doi          = {10.4204/EPTCS.94.3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-2238.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1209-2239,
  author       = {Marina Zaharieva{-}Stojanovski and
                  Marieke Huisman and
                  Stefan Blom},
  editor       = {Gordon J. Pace and
                  Anders P. Ravn},
  title        = {A History of BlockingQueues},
  booktitle    = {Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented
                  Software, {FLACOS} 2012, Bertinoro, Italy, 19 September 2012},
  series       = {{EPTCS}},
  volume       = {94},
  pages        = {31--35},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.94.4},
  doi          = {10.4204/EPTCS.94.4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-2239.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1209-2681,
  author       = {Christian Colombo and
                  Adrian Francalanza and
                  Ian Grima},
  editor       = {Gordon J. Pace and
                  Anders P. Ravn},
  title        = {Simplifying Contract-Violating Traces},
  booktitle    = {Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented
                  Software, {FLACOS} 2012, Bertinoro, Italy, 19 September 2012},
  series       = {{EPTCS}},
  volume       = {94},
  pages        = {11--20},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.94.2},
  doi          = {10.4204/EPTCS.94.2},
  timestamp    = {Sat, 12 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-2681.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1209-1699,
  editor       = {Gordon J. Pace and
                  Anders P. Ravn},
  title        = {Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented
                  Software, {FLACOS} 2012, Bertinoro, Italy, 19 September 2012},
  series       = {{EPTCS}},
  volume       = {94},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.94},
  doi          = {10.4204/EPTCS.94},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-1699.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}