Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/BeauquierHRS02,
  author       = {Dani{\`{e}}le Beauquier and
                  Yoram Hirshfeld and
                  Alexander Moshe Rabinovich and
                  Anatol Slissenko},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {The Probability Nesting Game},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {4--14},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80360-3},
  doi          = {10.1016/S1571-0661(05)80360-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BeauquierHRS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CarboneM02,
  author       = {Marco Carbone and
                  Sergio Maffeis},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {On the Expressive Power of Polyadic Synchronisation in pi-calculus},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {15--32},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80361-5},
  doi          = {10.1016/S1571-0661(05)80361-5},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CarboneM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CleavelandL02,
  author       = {Rance Cleaveland and
                  Gerald L{\"{u}}ttgen},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {A Logical Process Calculus},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {33--50},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80362-7},
  doi          = {10.1016/S1571-0661(05)80362-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CleavelandL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FernandezK02,
  author       = {Maribel Fern{\'{a}}ndez and
                  Lionel Khalil},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {Interaction Nets with McCarthy's amb},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {51--68},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80363-9},
  doi          = {10.1016/S1571-0661(05)80363-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FernandezK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FrendrupHJ02,
  author       = {Ulrik Frendrup and
                  Hans H{\"{u}}ttel and
                  Jesper Nyholm Jensen},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {Modal Logics for Cryptographic Processes},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {124--141},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80368-8},
  doi          = {10.1016/S1571-0661(05)80368-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FrendrupHJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Lange02,
  author       = {Martin Lange},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {Alternating Context-Free Languages and Linear Time mu-Calculus with
                  Sequential Composition},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {70--86},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80365-2},
  doi          = {10.1016/S1571-0661(05)80365-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lange02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Markey02,
  author       = {Nicolas Markey},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {Past is for Free: on the Complexity of Verifying Linear Temporal Properties
                  with Past},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {87--104},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80366-4},
  doi          = {10.1016/S1571-0661(05)80366-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Markey02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NestmannP02,
  author       = {Uwe Nestmann and
                  Prakash Panangaden},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {Preface},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80358-5},
  doi          = {10.1016/S1571-0661(05)80358-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NestmannP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OuaknineW02,
  author       = {Jo{\"{e}}l Ouaknine and
                  James Worrell},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {Timed {CSP} = Closed Timed Safety Automata},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {142--159},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80369-X},
  doi          = {10.1016/S1571-0661(05)80369-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OuaknineW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Palamidessi02,
  author       = {Catuscia Palamidessi},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {On the Expressive Power of Temporal Concurrent Constraint Programming
                  Languages (invited talk)},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {3},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80359-7},
  doi          = {10.1016/S1571-0661(05)80359-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Palamidessi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SassoneS02,
  author       = {Vladimiro Sassone and
                  Pawel Sobocinski},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {Deriving Bisimulation Congruences: {A} 2-categorical Approach},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {105--123},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80367-6},
  doi          = {10.1016/S1571-0661(05)80367-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SassoneS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Walukiewicz02,
  author       = {Igor Walukiewicz},
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {Describing properties of concurrent systems (Logic for Traces) (invited
                  talk)},
  booktitle    = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  pages        = {69},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80364-0},
  doi          = {10.1016/S1571-0661(05)80364-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Walukiewicz02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/express/2002,
  editor       = {Uwe Nestmann and
                  Prakash Panangaden},
  title        = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
                  August 19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/68/issue/2},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/express/2002.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.