BibTeX records: Johannes Åman Pohjola

download as .bib file

@article{DBLP:journals/afp/RaabjergPW24,
  author       = {Palle Raabjerg and
                  Johannes {\AA}man Pohjola and
                  Tjark Weber},
  title        = {Broadcast Psi-calculi},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024},
  url          = {https://www.isa-afp.org/entries/Broadcast\_Psi.html},
  timestamp    = {Mon, 22 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/RaabjergPW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/afp/PohjolaMT23,
  author       = {Johannes {\AA}man Pohjola and
                  Magnus O. Myreen and
                  Miki Tanaka},
  title        = {A Hoare Logic for Diverging Programs},
  journal      = {Arch. Formal Proofs},
  volume       = {2023},
  year         = {2023},
  url          = {https://www.isa-afp.org/entries/HoareForDivergence.html},
  timestamp    = {Tue, 18 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/PohjolaMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/KanabarVAMNPZ23,
  author       = {Hrutvik Kanabar and
                  Samuel Vivien and
                  Oskar Abrahamsson and
                  Magnus O. Myreen and
                  Michael Norrish and
                  Johannes {\AA}man Pohjola and
                  Riccardo Zanetti},
  title        = {PureCake: {A} Verified Compiler for a Lazy Functional Language},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{PLDI}},
  pages        = {952--976},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591259},
  doi          = {10.1145/3591259},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/KanabarVAMNPZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plos/PohjolaSTWSNUMS23,
  author       = {Johannes {\AA}man Pohjola and
                  Hira Taqdees Syeda and
                  Miki Tanaka and
                  Krishnan Winter and
                  Tsun Wang Sau and
                  Benjamin Nott and
                  Tiana J. Tsang Ung and
                  Craig McLaughlin and
                  Remy Seassau and
                  Magnus O. Myreen and
                  Michael Norrish and
                  Gernot Heiser},
  title        = {Pancake: Verified Systems Programming Made Sweeter},
  booktitle    = {Proceedings of the 12th Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623759.3624544},
  doi          = {10.1145/3623759.3624544},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plos/PohjolaSTWSNUMS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/GengelbachP22,
  author       = {Arve Gengelbach and
                  Johannes {\AA}man Pohjola},
  editor       = {June Andronick and
                  Leonardo de Moura},
  title        = {A Verified Cyclicity Checker: For Theories with Overloaded Constants},
  booktitle    = {13th International Conference on Interactive Theorem Proving, {ITP}
                  2022, August 7-10, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {237},
  pages        = {15:1--15:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2022.15},
  doi          = {10.4230/LIPICS.ITP.2022.15},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/GengelbachP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/PohjolaGSN22,
  author       = {Johannes {\AA}man Pohjola and
                  Alejandro G{\'{o}}mez{-}Londo{\~{n}}o and
                  James Shaker and
                  Michael Norrish},
  editor       = {June Andronick and
                  Leonardo de Moura},
  title        = {Kalas: {A} Verified, End-To-End Compiler for a Choreographic Language},
  booktitle    = {13th International Conference on Interactive Theorem Proving, {ITP}
                  2022, August 7-10, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {237},
  pages        = {27:1--27:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2022.27},
  doi          = {10.4230/LIPICS.ITP.2022.27},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itp/PohjolaGSN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/Pohjola20,
  author       = {Johannes {\AA}man Pohjola},
  title        = {Psi-Calculi Revisited: Connectivity and Compositionality},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {4},
  year         = {2020},
  url          = {https://lmcs.episciences.org/6981},
  timestamp    = {Wed, 16 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/Pohjola20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/Gomez-LondonoPS20,
  author       = {Alejandro G{\'{o}}mez{-}Londo{\~{n}}o and
                  Johannes {\AA}man Pohjola and
                  Hira Taqdees Syeda and
                  Magnus O. Myreen and
                  Yong Kiam Tan},
  title        = {Do you have space for dessert? a verified space cost semantics for
                  CakeML programs},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {204:1--204:29},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428272},
  doi          = {10.1145/3428272},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/Gomez-LondonoPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/PohjolaG20,
  author       = {Johannes {\AA}man Pohjola and
                  Arve Gengelbach},
  editor       = {Elvira Albert and
                  Laura Kov{\'{a}}cs},
  title        = {A Mechanised Semantics for {HOL} with Ad-hoc Overloading},
  booktitle    = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
                  Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
                  2020},
  series       = {EPiC Series in Computing},
  volume       = {73},
  pages        = {498--515},
  publisher    = {EasyChair},
  year         = {2020},
  url          = {https://doi.org/10.29007/413d},
  doi          = {10.29007/413D},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/PohjolaG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-03807,
  author       = {Arve Gengelbach and
                  Johannes {\AA}man Pohjola and
                  Tjark Weber},
  editor       = {Claudio Sacerdoti Coen and
                  Alwen Tiu},
  title        = {Mechanisation of Model-theoretic Conservative Extension for {HOL}
                  with Ad-hoc Overloading},
  booktitle    = {Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2020, Paris, France, 29th June 2020},
  series       = {{EPTCS}},
  volume       = {332},
  pages        = {1--17},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.332.1},
  doi          = {10.4204/EPTCS.332.1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-03807.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2002-10212,
  author       = {Johannes {\AA}man Pohjola and
                  Arve Gengelbach},
  title        = {A Mechanised Semantics for {HOL} with Ad-hoc Overloading},
  journal      = {CoRR},
  volume       = {abs/2002.10212},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.10212},
  eprinttype    = {arXiv},
  eprint       = {2002.10212},
  timestamp    = {Tue, 03 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-10212.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/EricssonMP19,
  author       = {Adam Sandberg Ericsson and
                  Magnus O. Myreen and
                  Johannes {\AA}man Pohjola},
  title        = {A Verified Generational Garbage Collector for CakeML},
  journal      = {J. Autom. Reason.},
  volume       = {63},
  number       = {2},
  pages        = {463--488},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10817-018-9487-z},
  doi          = {10.1007/S10817-018-9487-Z},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/EricssonMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Pohjola19,
  author       = {Johannes {\AA}man Pohjola},
  editor       = {Jorge A. P{\'{e}}rez and
                  Nobuko Yoshida},
  title        = {Psi-Calculi Revisited: Connectivity and Compositionality},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
                  as Part of the 14th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
                  17-21, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11535},
  pages        = {3--20},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21759-4\_1},
  doi          = {10.1007/978-3-030-21759-4\_1},
  timestamp    = {Wed, 02 Dec 2020 13:20:40 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Pohjola19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/PohjolaRM19,
  author       = {Johannes {\AA}man Pohjola and
                  Henrik Rostedt and
                  Magnus O. Myreen},
  editor       = {John Harrison and
                  John O'Leary and
                  Andrew Tolmach},
  title        = {Characteristic Formulae for Liveness Properties of Non-Terminating
                  CakeML Programs},
  booktitle    = {10th International Conference on Interactive Theorem Proving, {ITP}
                  2019, September 9-12, 2019, Portland, OR, {USA}},
  series       = {LIPIcs},
  volume       = {141},
  pages        = {32:1--32:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2019.32},
  doi          = {10.4230/LIPICS.ITP.2019.32},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/PohjolaRM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1909-06692,
  author       = {Johannes {\AA}man Pohjola},
  title        = {Psi-Calculi Revisited: Connectivity and Compositionality},
  journal      = {CoRR},
  volume       = {abs/1909.06692},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.06692},
  eprinttype    = {arXiv},
  eprint       = {1909.06692},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-06692.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/EinarsdottirJP18,
  author       = {S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and
                  Moa Johansson and
                  Johannes {\AA}man Pohjola},
  editor       = {Jacques D. Fleuriot and
                  Dongming Wang and
                  Jacques Calmet},
  title        = {Into the Infinite - Theory Exploration for Coinduction},
  booktitle    = {Artificial Intelligence and Symbolic Computation - 13th International
                  Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11110},
  pages        = {70--86},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99957-9\_5},
  doi          = {10.1007/978-3-319-99957-9\_5},
  timestamp    = {Tue, 19 Nov 2019 15:07:38 +0100},
  biburl       = {https://dblp.org/rec/conf/aisc/EinarsdottirJP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/FereePKOMH18,
  author       = {Hugo F{\'{e}}r{\'{e}}e and
                  Johannes {\AA}man Pohjola and
                  Ramana Kumar and
                  Scott Owens and
                  Magnus O. Myreen and
                  Son Ho},
  editor       = {Ruzica Piskac and
                  Philipp R{\"{u}}mmer},
  title        = {Program Verification in the Presence of {I/O} - Semantics, Verified
                  Library Routines, and Verified Applications},
  booktitle    = {Verified Software. Theories, Tools, and Experiments - 10th International
                  Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11294},
  pages        = {88--111},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03592-1\_6},
  doi          = {10.1007/978-3-030-03592-1\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/FereePKOMH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/EricssonMP17,
  author       = {Adam Sandberg Ericsson and
                  Magnus O. Myreen and
                  Johannes {\AA}man Pohjola},
  editor       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {A Verified Generational Garbage Collector for CakeML},
  booktitle    = {Interactive Theorem Proving - 8th International Conference, {ITP}
                  2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10499},
  pages        = {444--461},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66107-0\_28},
  doi          = {10.1007/978-3-319-66107-0\_28},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/EricssonMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/AmanPohjola16,
  author       = {Johannes {\AA}man Pohjola},
  title        = {Culling Concurrency Theory : Reusable and trustworthy meta-theory,
                  proof techniques and separation results},
  school       = {Uppsala University, Sweden},
  year         = {2016},
  url          = {https://nbn-resolving.org/urn:nbn:se:uu:diva-297488},
  urn          = {urn:nbn:se:uu:diva-297488},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/AmanPohjola16.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}
}

@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}
}

@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}
}

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.