Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Joachim Parrow
@article{DBLP:journals/lmcs/ParrowBEGW21,
author = {Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Lars{-}Henrik Eriksson and
Ramunas Gutkovas and
Tjark Weber},
title = {Modal Logics for Nominal Transition Systems},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7137},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/ParrowBEGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-02564,
author = {Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Lars{-}Henrik Eriksson and
Ramunas Gutkovas and
Tjark Weber},
title = {Modal Logics for Nominal Transition Systems},
journal = {CoRR},
volume = {abs/1904.02564},
year = {2019},
url = {http://arxiv.org/abs/1904.02564},
eprinttype = {arXiv},
eprint = {1904.02564},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-02564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ParrowWBE17,
author = {Joachim Parrow and
Tjark Weber and
Johannes Borgstr{\"{o}}m and
Lars{-}Henrik Eriksson},
editor = {Ahmed Bouajjani and
Alexandra Silva},
title = {Weak Nominal Modal Logic},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
as Part of the 12th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10321},
pages = {179--193},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60225-7\_13},
doi = {10.1007/978-3-319-60225-7\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/ParrowWBE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/WeberEPBG16,
author = {Tjark Weber and
Lars{-}Henrik Eriksson and
Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas},
title = {Modal Logics for Nominal Transition Systems},
journal = {Arch. Formal Proofs},
volume = {2016},
year = {2016},
url = {https://www.isa-afp.org/entries/Modal\_Logics\_for\_NTS.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/WeberEPBG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgstromGPVP15,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Joachim Parrow and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola},
title = {A Sorted Semantic Framework for Applied Process Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {1},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(1:8)2016},
doi = {10.2168/LMCS-12(1:8)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgstromGPVP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ParrowW16,
author = {Joachim Parrow and
Tjark Weber},
title = {The Largest Respectful Function},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {2},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(2:11)2016},
doi = {10.2168/LMCS-12(2:11)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ParrowW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CarboneHPW16,
author = {Marco Carbone and
Thomas T. Hildebrandt and
Joachim Parrow and
Matthias Weidlich},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {28},
number = {4},
pages = {529--530},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0386-y},
doi = {10.1007/S00165-016-0386-Y},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CarboneHPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BengtsonPW16,
author = {Jesper Bengtson and
Joachim Parrow and
Tjark Weber},
title = {Psi-Calculi in Isabelle},
journal = {J. Autom. Reason.},
volume = {56},
number = {1},
pages = {1--47},
year = {2016},
url = {https://doi.org/10.1007/s10817-015-9336-2},
doi = {10.1007/S10817-015-9336-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BengtsonPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Parrow16,
author = {Joachim Parrow},
title = {General conditions for full abstraction},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {4},
pages = {655--657},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000280},
doi = {10.1017/S0960129514000280},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Parrow16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/PohjolaP16,
author = {Johannes {\AA}man Pohjola and
Joachim Parrow},
editor = {Jeremy Avigad and
Adam Chlipala},
title = {Bisimulation up-to techniques for psi-calculi},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
pages = {142--153},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854065.2854080},
doi = {10.1145/2854065.2854080},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/PohjolaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PohjolaP16,
author = {Johannes {\AA}man Pohjola and
Joachim Parrow},
editor = {Peter Thiemann},
title = {The Expressive Power of Monotonic Parallel Composition},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9632},
pages = {780--803},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_30},
doi = {10.1007/978-3-662-49498-1\_30},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/esop/PohjolaP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BorgstromHJRVPP15,
author = {Johannes Borgstr{\"{o}}m and
Shuqin Huang and
Magnus Johansson and
Palle Raabjerg and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola and
Joachim Parrow},
title = {Broadcast psi-calculi with an application to wireless protocols},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {201--216},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0375-z},
doi = {10.1007/S10270-013-0375-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BorgstromHJRVPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ParrowBEGW15,
author = {Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Lars{-}Henrik Eriksson and
Ramunas Gutkovas and
Tjark Weber},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Modal Logics for Nominal Transition Systems},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {198--211},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.198},
doi = {10.4230/LIPICS.CONCUR.2015.198},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/ParrowBEGW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/GrandeP15,
author = {Virginia Grande and
Joachim Parrow},
editor = {Valentina Dagiene and
Carsten Schulte and
Tatjana Jevsikova},
title = {Motivation and Grade Gap Related to Gender in a Programming Course},
booktitle = {Proceedings of the 2015 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCS 2015, Vilnius, Lithuania, July
4-8, 2015},
pages = {349},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2729094.2754858},
doi = {10.1145/2729094.2754858},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/GrandeP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ParrowBRP14,
author = {Joachim Parrow and
Johannes Borgstr{\"{o}}m and
Palle Raabjerg and
Johannes {\AA}man Pohjola},
title = {Higher-order psi-calculi},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {2},
year = {2014},
url = {https://doi.org/10.1017/S0960129513000170},
doi = {10.1017/S0960129513000170},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ParrowBRP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PohjolaP14,
author = {Johannes {\AA}man Pohjola and
Joachim Parrow},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Priorities Without Priorities: Representing Preemption in Psi-Calculi},
booktitle = {Proceedings Combined 21st International Workshop on Expressiveness
in Concurrency, {EXPRESS} 2014, and 11th Workshop on Structural Operational
Semantics, {SOS} 2014, Rome, Italy, 1st September 2014},
series = {{EPTCS}},
volume = {160},
pages = {2--15},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.2},
doi = {10.4204/EPTCS.160.2},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/PohjolaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BorgstromGPVP13,
author = {Johannes Borgstr{\"{o}}m and
Ramunas Gutkovas and
Joachim Parrow and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {A Sorted Semantic Framework for Applied Process Calculi (Extended
Abstract)},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {103--118},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_7},
doi = {10.1007/978-3-319-05119-2\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BorgstromGPVP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JohanssonVP12,
author = {Magnus Johansson and
Bj{\"{o}}rn Victor and
Joachim Parrow},
title = {Computing strong and weak bisimulations for psi-calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {3},
pages = {162--180},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.01.001},
doi = {10.1016/J.JLAP.2012.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/JohanssonVP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-3262,
author = {Jesper Bengtson and
Magnus Johansson and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Psi-calculi: a framework for mobile processes with nominal data and
logic},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {1},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(1:11)2011},
doi = {10.2168/LMCS-7(1:11)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-3262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BorgstromHJRVPP11,
author = {Johannes Borgstr{\"{o}}m and
Shuqin Huang and
Magnus Johansson and
Palle Raabjerg and
Bj{\"{o}}rn Victor and
Johannes {\AA}man Pohjola and
Joachim Parrow},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Broadcast Psi-calculi with an Application to Wireless Protocols},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {74--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_7},
doi = {10.1007/978-3-642-24690-6\_7},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BorgstromHJRVPP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JohanssonBPV10,
author = {Magnus Johansson and
Jesper Bengtson and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Weak Equivalences in Psi-Calculi},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {322--331},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.30},
doi = {10.1109/LICS.2010.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JohanssonBPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-3960,
author = {Jesper Bengtson and
Joachim Parrow},
title = {Formalising the pi-calculus using nominal logic},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0809.3960},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-3960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BengtsonJPV09,
author = {Jesper Bengtson and
Magnus Johansson and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Psi-calculi: Mobile Processes, Nominal Data, and Logic},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {39--48},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.20},
doi = {10.1109/LICS.2009.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BengtsonJPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BengtsonP09,
author = {Jesper Bengtson and
Joachim Parrow},
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {Psi-calculi in Isabelle},
booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
pages = {99--114},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9\_9},
doi = {10.1007/978-3-642-03359-9\_9},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BengtsonP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1002-2867,
author = {Magnus Johansson and
Bj{\"{o}}rn Victor and
Joachim Parrow},
editor = {Bartek Klin and
Pawel Sobocinski},
title = {A Fully Abstract Symbolic Semantics for Psi-Calculi},
booktitle = {Proceedings Sixth Workshop on Structural Operational Semantics, {SOS}
2009, Bologna, Italy, August 31, 2009},
series = {{EPTCS}},
volume = {18},
pages = {17--31},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.18.2},
doi = {10.4204/EPTCS.18.2},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JohanssonPVB08,
author = {Magnus Johansson and
Joachim Parrow and
Bj{\"{o}}rn Victor and
Jesper Bengtson},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Extended pi-Calculi},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {87--98},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_8},
doi = {10.1007/978-3-540-70583-3\_8},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/JohanssonPVB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BengtsonP07,
author = {Jesper Bengtson and
Joachim Parrow},
editor = {Helmut Seidl},
title = {Formalising the \emph{pi}-Calculus Using Nominal Logic},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {63--77},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_6},
doi = {10.1007/978-3-540-71389-0\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BengtsonP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BengtsonP07,
author = {Jesper Bengtson and
Joachim Parrow},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {61--75},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.017},
doi = {10.1016/J.ENTCS.2007.08.017},
timestamp = {Thu, 09 Feb 2023 10:45:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BengtsonP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Parrow08,
author = {Joachim Parrow},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Expressiveness of Process Algebras},
booktitle = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {173--186},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.011},
doi = {10.1016/J.ENTCS.2008.04.011},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Parrow08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WiblingPP05,
author = {Oskar Wibling and
Joachim Parrow and
Arnold Neville Pears},
editor = {Farn Wang},
title = {Ad Hoc Routing Protocol Verification Through Broadcast Abstraction},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {128--142},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_11},
doi = {10.1007/11562436\_11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/WiblingPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaldamusPV05,
author = {Michael Baldamus and
Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {A Fully Abstract Encoding of the \emph{pi}-Calculus with Data Terms},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {1202--1213},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_97},
doi = {10.1007/11523468\_97},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BaldamusPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WiblingPP04,
author = {Oskar Wibling and
Joachim Parrow and
Arnold Neville Pears},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {Automatized Verification of Ad Hoc Routing Protocols},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {343--358},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_22},
doi = {10.1007/978-3-540-30232-2\_22},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/WiblingPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BaldamusPV04,
author = {Michael Baldamus and
Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {Spi Calculus Translated to ?--Calculus Preserving May-Tests},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {22--31},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319597},
doi = {10.1109/LICS.2004.1319597},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BaldamusPV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2003,
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0},
doi = {10.1007/3-540-45061-0},
isbn = {3-540-40493-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/LanevePV01,
author = {Cosimo Laneve and
Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Solo Diagrams},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {127--144},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_6},
doi = {10.1007/3-540-45500-0\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacs/LanevePV01.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 09:45:11 +0200},
biburl = {https://dblp.org/rec/books/el/01/Parrow01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PalamidessiPG00,
author = {Catuscia Palamidessi and
Joachim Parrow and
Rob J. van Glabbeek},
title = {Preface},
journal = {Inf. Comput.},
volume = {156},
number = {1-2},
pages = {1},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2815},
doi = {10.1006/INCO.1999.2815},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/PalamidessiPG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Parrow00,
author = {Joachim Parrow},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {Trios in concert},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {623--638},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 08:50:50 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Parrow00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ParrowV98,
author = {Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {The Tau-Laws of Fusion},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {99--114},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055618},
doi = {10.1007/BFB0055618},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/ParrowV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/VictorP98,
author = {Bj{\"{o}}rn Victor and
Joachim Parrow},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Concurrent Constraints in the Fusion Calculus},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {455--469},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055075},
doi = {10.1007/BFB0055075},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/VictorP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ParrowV98,
author = {Joachim Parrow and
Bj{\"{o}}rn Victor},
title = {The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {176--185},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705654},
doi = {10.1109/LICS.1998.705654},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ParrowV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ParrowV97,
author = {Joachim Parrow and
Bj{\"{o}}rn Victor},
editor = {Michael Johnson},
title = {The Update Calculus (Extended Abstract)},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {409--423},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000486},
doi = {10.1007/BFB0000486},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/ParrowV97.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}
}
@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}
}
@article{DBLP:journals/comcom/ParrowS96,
author = {Joachim Parrow and
Peter Sj{\"{o}}din},
title = {Designing a multiway synchronization protocol},
journal = {Comput. Commun.},
volume = {19},
number = {14},
pages = {1151--1160},
year = {1996},
url = {https://doi.org/10.1016/S0140-3664(96)01149-8},
doi = {10.1016/S0140-3664(96)01149-8},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/ParrowS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VictorP96,
author = {Bj{\"{o}}rn Victor and
Joachim Parrow},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Constraints as Processes},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {389--405},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_66},
doi = {10.1007/3-540-61604-7\_66},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/VictorP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/1996,
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1135},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61648-9},
doi = {10.1007/3-540-61648-9},
isbn = {3-540-61648-9},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Parrow95,
author = {Joachim Parrow},
title = {Concurrency without Homotopy},
journal = {Bull. {EATCS}},
volume = {55},
year = {1995},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Parrow95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ParrowS95,
author = {Joachim Parrow and
Davide Sangiorgi},
title = {Algebraic Theories for Name-Passing Calculi},
journal = {Inf. Comput.},
volume = {120},
number = {2},
pages = {174--197},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1108},
doi = {10.1006/INCO.1995.1108},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ParrowS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/JonssonP95,
author = {Bengt Jonsson and
Joachim Parrow},
title = {Guest Editors Foreword},
journal = {Nord. J. Comput.},
volume = {2},
number = {2},
pages = {87},
year = {1995},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/JonssonP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/Parrow95,
author = {Joachim Parrow},
title = {Interaction Diagrams},
journal = {Nord. J. Comput.},
volume = {2},
number = {4},
pages = {407--443},
year = {1995},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/Parrow95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/ParrowS94,
author = {Joachim Parrow and
Peter Sj{\"{o}}din},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {The Complete Axiomatization of Cs-congruence},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {557--568},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_171},
doi = {10.1007/3-540-57785-8\_171},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/ParrowS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1994,
editor = {Bengt Jonsson and
Joachim Parrow},
title = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1},
doi = {10.1007/978-3-540-48654-1},
isbn = {3-540-58329-7},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Parrow93,
author = {Joachim Parrow},
title = {Structural and Behavioural Equivalences of Networks},
journal = {Inf. Comput.},
volume = {107},
number = {1},
pages = {58--90},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1061},
doi = {10.1006/INCO.1993.1061},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Parrow93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JonssonP93,
author = {Bengt Jonsson and
Joachim Parrow},
title = {Deciding Bisimulation Equivalences for a Class of Non-Finite-State
Programs},
journal = {Inf. Comput.},
volume = {107},
number = {2},
pages = {272--302},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1069},
doi = {10.1006/INCO.1993.1069},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/JonssonP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MilnerPW93,
author = {Robin Milner and
Joachim Parrow and
David Walker},
title = {Modal Logics for Mobile Processes},
journal = {Theor. Comput. Sci.},
volume = {114},
number = {1},
pages = {149--171},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90156-N},
doi = {10.1016/0304-3975(93)90156-N},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MilnerPW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CleavelandPS93,
author = {Rance Cleaveland and
Joachim Parrow and
Bernhard Steffen},
title = {The Concurrency Workbench: {A} Semantics-Based Tool for the Verification
of Concurrent Systems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {15},
number = {1},
pages = {36--72},
year = {1993},
url = {https://doi.org/10.1145/151646.151648},
doi = {10.1145/151646.151648},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CleavelandPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Parrow93,
author = {Joachim Parrow},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Interaction Diagrams},
booktitle = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {803},
pages = {477--508},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58043-3\_26},
doi = {10.1007/3-540-58043-3\_26},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/Parrow93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/ParrowS93,
author = {Joachim Parrow and
Davide Sangiorgi},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Algebraic Theories for Name-Passing Calculi},
booktitle = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {803},
pages = {509--529},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58043-3\_27},
doi = {10.1007/3-540-58043-3\_27},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/ParrowS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OravaP92,
author = {Fredrik Orava and
Joachim Parrow},
title = {An Algebraic Verification of a Mobile Network},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6},
pages = {497--543},
year = {1992},
url = {https://doi.org/10.1007/BF01211473},
doi = {10.1007/BF01211473},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OravaP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MilnerPW92a,
author = {Robin Milner and
Joachim Parrow and
David Walker},
title = {A Calculus of Mobile Processes, {I}},
journal = {Inf. Comput.},
volume = {100},
number = {1},
pages = {1--40},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90008-4},
doi = {10.1016/0890-5401(92)90008-4},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MilnerPW92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MilnerPW92b,
author = {Robin Milner and
Joachim Parrow and
David Walker},
title = {A Calculus of Mobile Processes, {II}},
journal = {Inf. Comput.},
volume = {100},
number = {1},
pages = {41--77},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90009-5},
doi = {10.1016/0890-5401(92)90009-5},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MilnerPW92b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ParrowS92,
author = {Joachim Parrow and
Peter Sj{\"{o}}din},
editor = {Rance Cleaveland},
title = {Multiway Synchronization Verified with Coupled Simulation},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {518--533},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084813},
doi = {10.1007/BFB0084813},
timestamp = {Thu, 22 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ParrowS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MilnerPW91,
author = {Robin Milner and
Joachim Parrow and
David Walker},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Modal Logics for Mobile Processes},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {45--60},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_80},
doi = {10.1007/3-540-54430-5\_80},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/MilnerPW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pstv/1991,
editor = {Bengt Jonsson and
Joachim Parrow and
Bj{\"{o}}rn Pehrson},
title = {Protocol Specification, Testing and Verification XI, Proceedings of
the {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
publisher = {North-Holland},
year = {1991},
isbn = {0-444-89210-9},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pstv/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/Parrow90,
author = {Joachim Parrow},
title = {The expressive power of parallelism},
journal = {Future Gener. Comput. Syst.},
volume = {6},
number = {3},
pages = {271--285},
year = {1990},
url = {https://doi.org/10.1016/0167-739X(90)90024-8},
doi = {10.1016/0167-739X(90)90024-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/Parrow90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FredlundJP90,
author = {Lars{-}{\AA}ke Fredlund and
Bengt Jonsson and
Joachim Parrow},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {An Implementation of a Translational Semantics for an Imperative Language},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {246--262},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039064},
doi = {10.1007/BFB0039064},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FredlundJP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Parrow90,
author = {Joachim Parrow},
editor = {Mike Paterson},
title = {Structural and Behavioural Equivalences of Networks},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {540--552},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032057},
doi = {10.1007/BFB0032057},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Parrow90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/OravaP90,
author = {Fredrik Orava and
Joachim Parrow},
editor = {Luigi Logrippo and
Robert L. Probert and
Hasan Ural},
title = {Algebraic descriptions of mobile networks: An example},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of
the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
pages = {275--291},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/OravaP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Parrow89,
author = {Joachim Parrow},
title = {Submodule Construction as Equation Solving in {CCS}},
journal = {Theor. Comput. Sci.},
volume = {68},
number = {2},
pages = {175--202},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90128-X},
doi = {10.1016/0304-3975(89)90128-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Parrow89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/CleavelandPS89,
author = {Rance Cleaveland and
Joachim Parrow and
Bernhard Steffen},
editor = {Joseph Sifakis},
title = {The Concurrency Workbench},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {24--37},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_3},
doi = {10.1007/3-540-52148-8\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/CleavelandPS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avmfss/JonssonKP89,
author = {Bengt Jonsson and
Ahmed Hussain Khan and
Joachim Parrow},
editor = {Joseph Sifakis},
title = {Implementing a Model Checking Algorithm by Adapting Existing Automated
Tools},
booktitle = {Automatic Verification Methods for Finite State Systems, International
Workshop, Grenoble, France, June 12-14, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {407},
pages = {179--188},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52148-8\_15},
doi = {10.1007/3-540-52148-8\_15},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avmfss/JonssonKP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Parrow89,
author = {Joachim Parrow},
editor = {Eddy Odijk and
Martin Rem and
Jean{-}Claude Syre},
title = {The Expressive Power of Simple Parallelism},
booktitle = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {366},
pages = {389--405},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51285-3\_54},
doi = {10.1007/3-540-51285-3\_54},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/Parrow89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/CleavelandPS89,
author = {Rance Cleaveland and
Joachim Parrow and
Bernhard Steffen},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {A Semantics Based Verification Tool for Finite State Systems},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {287--302},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/CleavelandPS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/JonssonP89,
author = {Bengt Jonsson and
Joachim Parrow},
editor = {Burkhard Monien and
Robert Cori},
title = {Deciding Bisimulation Equivalences for a Class of Non-Finite-State
Programs},
booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer
Science, Paderborn, FRG, February 16-18, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {349},
pages = {421--433},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0029004},
doi = {10.1007/BFB0029004},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/JonssonP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Parrow87,
author = {Joachim Parrow},
editor = {Kesav V. Nori},
title = {Submodule Construction as Equation Solving {CCS}},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {287},
pages = {103--123},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18625-5\_46},
doi = {10.1007/3-540-18625-5\_46},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Parrow87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/ParrowG84,
author = {Joachim Parrow and
Rune Gustavsson},
editor = {Yechiam Yemini and
Robert E. Strom and
Shaula Yemini},
title = {Modelling Distributed Systems in an Extension of {CCS} with Infinite
Experiments and Temporal Logic},
booktitle = {Protocol Specification, Testing and Verification IV, Proceedings of
the {IFIP} {WG6.1} Fourth International Workshop on Protocol Specification,
Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
pages = {309--348},
publisher = {North-Holland},
year = {1984},
timestamp = {Tue, 25 Feb 2003 15:13:25 +0100},
biburl = {https://dblp.org/rec/conf/pstv/ParrowG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/PehrsonP83,
author = {Bj{\"{o}}rn Pehrson and
Joachim Parrow},
editor = {Harold W. Lawson Jr. and
Tilak Agerwala and
Hans H. Heilborn and
Hideo Aiso and
Lars{-}Erik Thorelli and
Jean{-}Loup Baer and
Mario Tokoro},
title = {Caddie - An Interactive Design Environment},
booktitle = {Proceedings of the 10th Annual Symposium on Computer Architecture,
1983},
pages = {24--31},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800046.801634},
doi = {10.1145/800046.801634},
timestamp = {Tue, 13 Jul 2021 10:01:21 +0200},
biburl = {https://dblp.org/rec/conf/isca/PehrsonP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GustavssonPP82,
author = {Rune Gustavsson and
Joachim Parrow and
Bj{\"{o}}rn Pehrson},
editor = {Carl A. Sunshine},
title = {An Integrated Approach to Protocol Design Research},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {309--310},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 16:10:28 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GustavssonPP82.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.
last updated on 2024-04-25 02:10 CEST 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:
