Search dblp for Publications

export results for "toc:db/journals/entcs/entcs27.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/BravettiG99,
  author       = {Mario Bravetti and
                  Roberto Gorrieri},
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {Deciding and Axiomatizing {ST} Bisimulation for a Process Algebra
                  with Recursion and Action Refinement},
  booktitle    = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  pages        = {107--126},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80298-1},
  doi          = {10.1016/S1571-0661(05)80298-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BravettiG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CastellaniV99,
  author       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {Preface},
  booktitle    = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80290-7},
  doi          = {10.1016/S1571-0661(05)80290-7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CastellaniV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Froschle99,
  author       = {Sibylle B. Fr{\"{o}}schle},
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {Decidability of Plain and Hereditary History-Preserving Bisimilarity
                  for {BPP}},
  booktitle    = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  pages        = {85--106},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80297-X},
  doi          = {10.1016/S1571-0661(05)80297-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Froschle99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/IngolfsdottirP99,
  author       = {Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Rosario Pugliese},
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {Towards Verified Lazy Implementation of Concurrent Value-Passing Languages},
  booktitle    = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  pages        = {18--24},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80292-0},
  doi          = {10.1016/S1571-0661(05)80292-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/IngolfsdottirP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Juhas99,
  author       = {Gabriel Juh{\'{a}}s},
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {Petri nets with generalized algebra: a comparison},
  booktitle    = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  pages        = {42--56},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80294-4},
  doi          = {10.1016/S1571-0661(05)80294-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Juhas99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Langerak99,
  author       = {Rom Langerak},
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {Deriving a Graph Rewriting System from a Complete Finite Prefix of
                  an Unfolding},
  booktitle    = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  pages        = {25--41},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80293-2},
  doi          = {10.1016/S1571-0661(05)80293-2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Langerak99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Merro99,
  author       = {Massimo Merro},
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {On Equators in Asynchronous Name-passing Calculi without Matching},
  booktitle    = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  pages        = {57--70},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80295-6},
  doi          = {10.1016/S1571-0661(05)80295-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Merro99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Tini99,
  author       = {Simone Tini},
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {On The Expressiveness of Timed Concurrent Constraint Programming},
  booktitle    = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  pages        = {3--17},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80291-9},
  doi          = {10.1016/S1571-0661(05)80291-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Tini99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Wehrheim99,
  author       = {Heike Wehrheim},
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {Partial order reductions for failures refinement},
  booktitle    = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  pages        = {71--84},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80296-8},
  doi          = {10.1016/S1571-0661(05)80296-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Wehrheim99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/express/1999,
  editor       = {Ilaria Castellani and
                  Bj{\"{o}}rn Victor},
  title        = {6th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1999, Eindhoven, The Netherlands, August 23, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {27},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/27/suppl/C},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/express/1999.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.