Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1108-0228,
  author       = {Luca Aceto and
                  Matteo Cimini and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Arni Hermann Reynisson and
                  Steinar Hugi Sigurdarson and
                  Marjan Sirjani},
  editor       = {Mohammad Reza Mousavi and
                  Ant{\'{o}}nio Ravara},
  title        = {Modelling and Simulation of Asynchronous Real-Time Systems using Timed
                  Rebeca},
  booktitle    = {Proceedings 10th International Workshop on the Foundations of Coordination
                  Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
                  10th September, 2011},
  series       = {{EPTCS}},
  volume       = {58},
  pages        = {1--19},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.58.1},
  doi          = {10.4204/EPTCS.58.1},
  timestamp    = {Sat, 11 Jul 2020 10:44:59 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0228.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0229,
  author       = {Ross Horne and
                  Vladimiro Sassone},
  editor       = {Mohammad Reza Mousavi and
                  Ant{\'{o}}nio Ravara},
  title        = {A Verified Algebra for Linked Data},
  booktitle    = {Proceedings 10th International Workshop on the Foundations of Coordination
                  Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
                  10th September, 2011},
  series       = {{EPTCS}},
  volume       = {58},
  pages        = {20--33},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.58.2},
  doi          = {10.4204/EPTCS.58.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0229.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0230,
  author       = {Simon Ware and
                  Robi Malik},
  editor       = {Mohammad Reza Mousavi and
                  Ant{\'{o}}nio Ravara},
  title        = {A State-Based Characterisation of the Conflict Preorder},
  booktitle    = {Proceedings 10th International Workshop on the Foundations of Coordination
                  Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
                  10th September, 2011},
  series       = {{EPTCS}},
  volume       = {58},
  pages        = {34--48},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.58.3},
  doi          = {10.4204/EPTCS.58.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0230.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0231,
  author       = {Chiara Bodei and
                  Viet Dung Dinh and
                  Gian{-}Luigi Ferrari},
  editor       = {Mohammad Reza Mousavi and
                  Ant{\'{o}}nio Ravara},
  title        = {Predicting global usages of resources endowed with local policies},
  booktitle    = {Proceedings 10th International Workshop on the Foundations of Coordination
                  Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
                  10th September, 2011},
  series       = {{EPTCS}},
  volume       = {58},
  pages        = {49--64},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.58.4},
  doi          = {10.4204/EPTCS.58.4},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0231.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-0232,
  author       = {Jos{\'{e}} Proen{\c{c}}a and
                  Dave Clarke and
                  Erik P. de Vink and
                  Farhad Arbab},
  editor       = {Mohammad Reza Mousavi and
                  Ant{\'{o}}nio Ravara},
  title        = {Decoupled execution of synchronous coordination models via behavioural
                  automata},
  booktitle    = {Proceedings 10th International Workshop on the Foundations of Coordination
                  Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
                  10th September, 2011},
  series       = {{EPTCS}},
  volume       = {58},
  pages        = {65--79},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.58.5},
  doi          = {10.4204/EPTCS.58.5},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-0232.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1107-5847,
  editor       = {Mohammad Reza Mousavi and
                  Ant{\'{o}}nio Ravara},
  title        = {Proceedings 10th International Workshop on the Foundations of Coordination
                  Languages and Software Architectures, {FOCLASA} 2011, Aachen, Germany,
                  10th September, 2011},
  series       = {{EPTCS}},
  volume       = {58},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.58},
  doi          = {10.4204/EPTCS.58},
  timestamp    = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-5847.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}