Search dblp for Publications

export results for "stream:streams/conf/lix:"

 download as .bib file

@proceedings{DBLP:conf/lix/2006,
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/209/suppl/C},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lix/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaetenBCRRST08,
  author       = {Jos C. M. Baeten and
                  Dirk A. van Beek and
                  Pieter J. L. Cuijpers and
                  Michel A. Reniers and
                  Jacobus E. Rooda and
                  Ramon R. H. Schiffelers and
                  Rolf J. M. Theunissen},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Model-based Engineering of Embedded Systems Using the Hybrid Process
                  Algebra Chi},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {21--53},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.003},
  doi          = {10.1016/J.ENTCS.2008.04.003},
  timestamp    = {Mon, 13 Feb 2023 14:19:55 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaetenBCRRST08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BergstraM08,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Parallel Processes with Implicit Computational Capital},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {55--81},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.004},
  doi          = {10.1016/J.ENTCS.2008.04.004},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BergstraM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BonchiaM08,
  author       = {Filippo Bonchi and
                  Ugo Montanari},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {A Coalgebraic Theory of Reactive Systems},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {201--215},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.012},
  doi          = {10.1016/J.ENTCS.2009.02.012},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BonchiaM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Bravetti08a,
  author       = {Mario Bravetti},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Extensions of Standard Weak Bisimulation Machinery: Finite-state General
                  Processes, Refinable Actions, Maximal-progress and Time},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {83--106},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.005},
  doi          = {10.1016/J.ENTCS.2008.04.005},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bravetti08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Busi08,
  author       = {Nadia Busi},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Expressiveness Issues in Brane Calculi: {A} Survey},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {107--124},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.006},
  doi          = {10.1016/J.ENTCS.2008.04.006},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Busi08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CarboneHY08,
  author       = {Marco Carbone and
                  Kohei Honda and
                  Nobuko Yoshida},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Theoretical Aspects of Communication-Centred Programming},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {125--133},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.007},
  doi          = {10.1016/J.ENTCS.2008.04.007},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CarboneHY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/EncrenazF08,
  author       = {Emmanuelle Encrenaz and
                  Laurent Fribourg},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Time Separation of Events: An Inverse Method},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {135--148},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.008},
  doi          = {10.1016/J.ENTCS.2008.04.008},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EncrenazF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Garavel08,
  author       = {Hubert Garavel},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Reflections on the Future of Concurrency Theory in General and Process
                  Calculi in Particular},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {149--164},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.009},
  doi          = {10.1016/J.ENTCS.2008.04.009},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Garavel08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hoare08,
  author       = {Tony Hoare},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Verification of Fine-grain Concurrent Programs},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {165--171},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.010},
  doi          = {10.1016/J.ENTCS.2008.04.010},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hoare08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Milner08,
  author       = {Robin Milner},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Bigraphs and Their Algebra},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {5--19},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.002},
  doi          = {10.1016/J.ENTCS.2008.04.002},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Milner08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PalamidessiV08,
  author       = {Catuscia Palamidessi and
                  Frank D. Valencia},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Preface},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {1--4},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.001},
  doi          = {10.1016/J.ENTCS.2008.04.001},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PalamidessiV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Parrow08,
  author       = {Joachim Parrow},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Expressiveness of Process Algebras},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {173--186},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.011},
  doi          = {10.1016/J.ENTCS.2008.04.011},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Parrow08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Ueda08,
  author       = {Kazunori Ueda},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Encoding Distributed Process Calculi into LMNtal},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {187--200},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.012},
  doi          = {10.1016/J.ENTCS.2008.04.012},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Ueda08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.