Search dblp for Publications

export results for "toc:db/conf/express/express2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/express/2004,
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/128/issue/2},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/express/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AffeldtK05,
  author       = {Reynald Affeldt and
                  Naoki Kobayashi},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {Partial Order Reduction for Verification of Spatial Properties of
                  Pi-Calculus Processes},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {151--168},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.034},
  doi          = {10.1016/J.ENTCS.2004.11.034},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AffeldtK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AndovaW05,
  author       = {Suzana Andova and
                  Tim A. C. Willemse},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {Equivalences for Silent Transitions in Probabilistic Systems: (Extended
                  Abstract)},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {53--66},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.028},
  doi          = {10.1016/J.ENTCS.2004.11.028},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AndovaW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaetenC05,
  author       = {Jos C. M. Baeten and
                  Flavio Corradini},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {Preface},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.025},
  doi          = {10.1016/J.ENTCS.2004.11.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaetenC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BeffaraM05,
  author       = {Emmanuel Beffara and
                  Fran{\c{c}}ois Maurel},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {Concurrent Nets: {A} Study of Prefixing in Process Calculi},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {67--86},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.029},
  doi          = {10.1016/J.ENTCS.2004.11.029},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BeffaraM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BundgaardHG05,
  author       = {Mikkel Bundgaard and
                  Thomas T. Hildebrandt and
                  Jens Chr. Godskesen},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {A {CPS} Encoding of Name-Passing in Higher-Order Mobile Embedded Resources},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {131--150},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.033},
  doi          = {10.1016/J.ENTCS.2004.11.033},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BundgaardHG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CorradiniBV05,
  author       = {Flavio Corradini and
                  Maria Rita Di Berardini and
                  Walter Vogler},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {Fairness of Components in System Computations},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {35--52},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.027},
  doi          = {10.1016/J.ENTCS.2004.11.027},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CorradiniBV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FecherS05,
  author       = {Harald Fecher and
                  Martin Steffen},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {Characteristic mu-Calculus Formulas for Underspecified Transition
                  Systems},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {103--116},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.031},
  doi          = {10.1016/J.ENTCS.2004.11.031},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FecherS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FinkelGRB05,
  author       = {Alain Finkel and
                  Gilles Geeraerts and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Laurent Van Begin},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {On the omega-language Expressive Power of Extended Petri Nets},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {87--101},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.030},
  doi          = {10.1016/J.ENTCS.2004.11.030},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkelGRB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Glabbeek05,
  author       = {Rob J. van Glabbeek},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {5--34},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.026},
  doi          = {10.1016/J.ENTCS.2004.11.026},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Glabbeek05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Guan05,
  author       = {Xudong Guan},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial
                  Logic},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {169--183},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.035},
  doi          = {10.1016/J.ENTCS.2004.11.035},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Guan05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NicolaGP05,
  author       = {Rocco De Nicola and
                  Daniele Gorla and
                  Rosario Pugliese},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {On the Expressive Power of Klaim-based Calculi},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {117--130},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.032},
  doi          = {10.1016/J.ENTCS.2004.11.032},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/NicolaGP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PhillipsV05,
  author       = {Iain Phillips and
                  Maria Grazia Vigliotti},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {Leader Election in Rings of Ambient Processes},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {185--199},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.036},
  doi          = {10.1016/J.ENTCS.2004.11.036},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PhillipsV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.