Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs7.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/AcetoHIK97,
author = {Luca Aceto and
Hans H{\"{u}}ttel and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Josva Kleist},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Relating semantic models for the object calculus},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {3--18},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80462-1},
doi = {10.1016/S1571-0661(05)80462-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AcetoHIK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AriolaKP97,
author = {Zena M. Ariola and
Jan Willem Klop and
Detlef Plump},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Confluent rewriting of bisimilar term graphs},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {19},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80463-3},
doi = {10.1016/S1571-0661(05)80463-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AriolaKP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BackW97,
author = {Ralph{-}Johan Back and
Joakim von Wright},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Contracts, games and refinement},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {20--33},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80464-5},
doi = {10.1016/S1571-0661(05)80464-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BackW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaierK97,
author = {Christel Baier and
Marta Z. Kwiatkowska},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Domain equations for probabilistic processes},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {34--54},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80465-7},
doi = {10.1016/S1571-0661(05)80465-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaierK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniM97,
author = {Roberto Bruni and
Ugo Montanari},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Zero-safe nets, or transition synchronization made simple},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {55--74},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80466-9},
doi = {10.1016/S1571-0661(05)80466-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BruniM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BusiGZ97,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {On the Turing equivalence of Linda coordination primitives},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {75},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80467-0},
doi = {10.1016/S1571-0661(05)80467-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BusiGZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Corradini97,
author = {Flavio Corradini},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Absolute versus relative time in process algebras},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {76--95},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80468-2},
doi = {10.1016/S1571-0661(05)80468-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Corradini97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CorradiniFP97,
author = {Flavio Corradini and
Gian{-}Luigi Ferrari and
Marco Pistore},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Eager, busy-waiting and lazy actions in timed computation?},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {96--114},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80469-4},
doi = {10.1016/S1571-0661(05)80469-4},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CorradiniFP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FerrariM97,
author = {Gian{-}Luigi Ferrari and
Ugo Montanari},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Tiles for concurrent and located calculi?},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {115--140},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80470-0},
doi = {10.1016/S1571-0661(05)80470-0},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/FerrariM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GehrkeR97,
author = {Thomas Gehrke and
Arend Rensink},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Process creation and full sequential composition in a name-passing
calculus},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {141--160},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80471-2},
doi = {10.1016/S1571-0661(05)80471-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GehrkeR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LaroussinieS97,
author = {Fran{\c{c}}ois Laroussinie and
Philippe Schnoebelen},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Specification in CTL+Past, verification in {CTL}},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {161--184},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80472-4},
doi = {10.1016/S1571-0661(05)80472-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LaroussinieS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Mayr97,
author = {Richard Mayr},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Process rewrite systems},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {185--205},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80473-6},
doi = {10.1016/S1571-0661(05)80473-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Mayr97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Nestmann97,
author = {Uwe Nestmann},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {What is a 'good' encoding of guarded choice?},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {206--226},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80474-8},
doi = {10.1016/S1571-0661(05)80474-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Nestmann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PalamidessiP97,
author = {Catuscia Palamidessi and
Joachim Parrow},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Foreword},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {1--2},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80461-X},
doi = {10.1016/S1571-0661(05)80461-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PalamidessiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pratt97a,
author = {Vaughan R. Pratt},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Types as processes, via Chu spaces},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {227--247},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80475-X},
doi = {10.1016/S1571-0661(05)80475-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pratt97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rabinovich97,
author = {Alexander Moshe Rabinovich},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {On expressive completeness of duration and mean value calculi},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {248--261},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80476-1},
doi = {10.1016/S1571-0661(05)80476-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rabinovich97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rensink97,
author = {Arend Rensink},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Bisimilarity of open terms},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {262},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80477-3},
doi = {10.1016/S1571-0661(05)80477-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rensink97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/1997,
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
publisher = {Elsevier},
year = {1997},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/7/suppl/C},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-27 00:32 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
