default search action
BibTeX 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 = {Tue, 28 May 2024 17:14:29 +0200}, 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} }
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.