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/books/collections/BPS2001.bht:"
download as .bib file
@incollection{DBLP:books/el/01/AcetoFV01,
author = {Luca Aceto and
Wan J. Fokkink and
Chris Verhoef},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Structural Operational Semantics},
booktitle = {Handbook of Process Algebra},
pages = {197--292},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50021-7},
doi = {10.1016/B978-044482830-9/50021-7},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/AcetoFV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BaetenB01,
author = {Jos C. M. Baeten and
Twan Basten},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Partial-Order Process Algebra (and its Relation to Petri Nets)},
booktitle = {Handbook of Process Algebra},
pages = {769--872},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50031-x},
doi = {10.1016/B978-044482830-9/50031-X},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BaetenB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BaetenM01,
author = {Jos C. M. Baeten and
Cornelis A. Middelburg},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Process Algebra with Timing: Real Time and Discrete Time},
booktitle = {Handbook of Process Algebra},
pages = {627--684},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50028-x},
doi = {10.1016/B978-044482830-9/50028-X},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/el/01/BaetenM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BergstraFP01,
author = {Jan A. Bergstra and
Wan J. Fokkink and
Alban Ponse},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Process Algebra with Recursive Operations},
booktitle = {Handbook of Process Algebra},
pages = {333--389},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50023-0},
doi = {10.1016/B978-044482830-9/50023-0},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BergstraFP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BergstraMU01,
author = {Jan A. Bergstra and
Cornelis A. Middelburg and
Yaroslav S. Usenko},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Discrete Time Process Algebra and the Semantics of {SDL}},
booktitle = {Handbook of Process Algebra},
pages = {1209--1268},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50036-9},
doi = {10.1016/B978-044482830-9/50036-9},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/el/01/BergstraMU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BestDK01,
author = {Eike Best and
Raymond R. Devillers and
Maciej Koutny},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {A Unified Model for Nets and Process Algebras},
booktitle = {Handbook of Process Algebra},
pages = {873--944},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50032-1},
doi = {10.1016/B978-044482830-9/50032-1},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BestDK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BradfieldS01,
author = {Julian C. Bradfield and
Colin Stirling},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Modal Logics and mu-Calculi: An Introduction},
booktitle = {Handbook of Process Algebra},
pages = {293--330},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50022-9},
doi = {10.1016/B978-044482830-9/50022-9},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BradfieldS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BroyO01,
author = {Manfred Broy and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Trace-Oriented Models of Concurrency},
booktitle = {Handbook of Process Algebra},
pages = {101--195},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50020-5},
doi = {10.1016/B978-044482830-9/50020-5},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BroyO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BurkartCMS01,
author = {Olaf Burkart and
Didier Caucal and
Faron Moller and
Bernhard Steffen},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Verification on Infinite Structures},
booktitle = {Handbook of Process Algebra},
pages = {545--623},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50027-8},
doi = {10.1016/B978-044482830-9/50027-8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BurkartCMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/Castellani01,
author = {Ilaria Castellani},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Process Algebras with Localities},
booktitle = {Handbook of Process Algebra},
pages = {945--1045},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50033-3},
doi = {10.1016/B978-044482830-9/50033-3},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/Castellani01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/CleavelandLN01,
author = {Rance Cleaveland and
Gerald L{\"{u}}ttgen and
V. Natarajan},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Priority in Process Algebra},
booktitle = {Handbook of Process Algebra},
pages = {711--765},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50030-8},
doi = {10.1016/B978-044482830-9/50030-8},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/el/01/CleavelandLN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/CleavelandS01,
author = {Rance Cleaveland and
Oleg Sokolsky},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Equivalence and Preorder Checking for Finite-State Systems},
booktitle = {Handbook of Process Algebra},
pages = {391--424},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50024-2},
doi = {10.1016/B978-044482830-9/50024-2},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/CleavelandS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/Glabbeek01,
author = {Rob J. van Glabbeek},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {The Linear Time - Branching Time Spectrum {I}},
booktitle = {Handbook of Process Algebra},
pages = {3--99},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50019-9},
doi = {10.1016/B978-044482830-9/50019-9},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/Glabbeek01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/GorrieriR01,
author = {Roberto Gorrieri and
Arend Rensink},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Action Refinement},
booktitle = {Handbook of Process Algebra},
pages = {1047--1147},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50034-5},
doi = {10.1016/B978-044482830-9/50034-5},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/GorrieriR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/GrooteR01,
author = {Jan Friso Groote and
Michel A. Reniers},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Algebraic Process Verification},
booktitle = {Handbook of Process Algebra},
pages = {1151--1208},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50035-7},
doi = {10.1016/B978-044482830-9/50035-7},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/GrooteR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/IngolfsdottirL01,
author = {Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Huimin Lin},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {A Symbolic Approach to Value-Passing Processes},
booktitle = {Handbook of Process Algebra},
pages = {427--478},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50025-4},
doi = {10.1016/B978-044482830-9/50025-4},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/IngolfsdottirL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/Jonsson0L01,
author = {Bengt Jonsson and
Wang Yi and
Kim G. Larsen},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Probabilistic Extensions of Process Algebras},
booktitle = {Handbook of Process Algebra},
pages = {685--710},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50029-1},
doi = {10.1016/B978-044482830-9/50029-1},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/Jonsson0L01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/MauwR01,
author = {Sjouke Mauw and
Michel A. Reniers},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {A Process Algebra for Interworkings},
booktitle = {Handbook of Process Algebra},
pages = {1269--1327},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50037-0},
doi = {10.1016/B978-044482830-9/50037-0},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/MauwR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/Parrow01,
author = {Joachim Parrow},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {An Introduction to the {\(\pi\)}-Calculus},
booktitle = {Handbook of Process Algebra},
pages = {479--543},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50026-6},
doi = {10.1016/B978-044482830-9/50026-6},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/Parrow01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/X01,
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Preface},
booktitle = {Handbook of Process Algebra},
pages = {v--ix},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50017-5},
doi = {10.1016/B978-044482830-9/50017-5},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/X01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/01/BPS2001,
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Handbook of Process Algebra},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-0-444-82830-9.x5017-6},
doi = {10.1016/B978-0-444-82830-9.X5017-6},
isbn = {978-0-444-82830-9},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BPS2001.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-06-06 03:11 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:
