@inproceedings{Woj23-a, keywords = {keynote}, author = {Pawe{\l} T. Wojciechowski}, title = {A selective and biased choice of techniques for building a distributed data store}, optbooktitle = {Proceedings of DEBS ’23: the 17th ACM International Conference on Distributed and Event-based Systems, June 27–30, 2023, Neuchatel, Switzerland}, booktitle = {Proceedings of DEBS ’23: the 17th ACM International Conference on Distributed and Event-based Systems}, editor = {}, year = {2023}, month = jun, pages = {pp. }, optpublisher = {ACM Press}, doi = {10.1145/3583678.3603441}, url = {PDF/debs23-keynote-abstract.pdf}, opturl = {}, optissn = {}, isbn = {ISBN: 979-8-4007-0122-1/23/06}, note = {}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00}, addendum = {\rank{}{}{debs23-keynote-abstract.pdf}} }
@misc{WKK18-us-patent, keywords = {patent}, title = {Fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine}, author = {Pawe{\l} T. Wojciechowski and Tadeusz Kobus and Maciej Kokoci\'nski}, url = {https://patents.google.com/patent/US10135929B2}, year = {2018}, optmonth = nov # {~20,}, month = nov, publisher = {Google Patents}, note = {Date of filing: January 14, 2016. United States Patent No. US 10,135,929 B2}, annote = {FNP grant 103/UD/SKILLS/2014 (partially)} }
@misc{WKK18-eu-patent, keywords = {patent}, title = {A fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine}, author = {Pawe{\l} T. Wojciechowski and Tadeusz Kobus and Maciej Kokoci\'nski}, url = {https://patents.google.com/patent/EP3193256B1}, year = {2018}, optmonth = aug # {~1,}, month = aug, publisher = {Google Patents}, note = {Date of filing: January 12, 2016. European Patent Specification No. EP 3 193 256 B1}, annote = {FNP grant 103/UD/SKILLS/2014 (partially)} }
@inproceedings{KKW24b-c, keywords = {conference}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Krzysztof Kortas and Pawe{\l} T. Wojciechowski}, title = {{KDB}: {A} Persistent Key-Value Data Store with Batch Updates and Snapshots}, optbooktitle = {Proceedings of Middleware '24: the 25th International Middleware Conference: Demos, Posters and Doctoral Symposium (Honk Kong, China)}, booktitle = {Proceedings of Middleware '24: the 25th International Middleware Conference: Demos, Posters and Doctoral Symposium}, editor = {}, year = {2024}, month = dec, pages = {pp. 23--24}, optpublisher = {Association for Computing Machinery (ACM)}, doi = {10.1145/3704440.3704790}, url = {https://dl.acm.org/doi/10.1145/3704440.3704790}, opturl = {http://www.cs.put.poznan.pl/pawelw/pub/.pdf}, optissn = {ISSN: Electronic ISSN: }, optisbn = {ISBN: }, note = {Published: 27 December 2024}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and PUT's internal grant 0311/SBAD/0748}, addendum = {\rank{A}{140}{middleware24b.pdf}} }
@inproceedings{KKW24a-c, keywords = {conference}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Creek: {A} Mixed-Consistency Replication Scheme}, optbooktitle = {Proceedings of Middleware '24: the 25th International Middleware Conference: Demos, Posters and Doctoral Symposium (Honk Kong, China)}, booktitle = {Proceedings of Middleware '24: the 25th International Middleware Conference: Demos, Posters and Doctoral Symposium}, editor = {}, year = {2024}, month = dec, pages = {pp. 17--18}, optpublisher = {Association for Computing Machinery (ACM)}, doi = {10.1145/3704440.3704785}, url = {https://dl.acm.org/doi/10.1145/3704440.3704785}, opturl = {http://www.cs.put.poznan.pl/pawelw/pub/.pdf}, optissn = {ISSN: Electronic ISSN: }, optisbn = {ISBN: }, note = {Published: 27 December 2024}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and PUT's internal grant 0311/SBAD/0748}, addendum = {\rank{A}{140}{middleware24a.pdf}} }
@inproceedings{KKW24-w, keywords = {workshop}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract)}, optbooktitle = {Proceedings of HOPC'24: the 2024 ACM Workshop on Highlights of Parallel Computing (in conjunction with SPAA '24: the 36th ACM Symposium on Parallelism in Algorithms and Architectures, Nantes, France)}, booktitle = {Proceedings of HOPC'24: the 2024 ACM Workshop on Highlights of Parallel Computing (in conjunction with SPAA '24: the 36th ACM Symposium on Parallelism in Algorithms and Architectures)}, editor = {}, year = {2024}, month = jun, pages = {pp. 5--7}, optpublisher = {Association for Computing Machinery (ACM)}, doi = {10.1145/3670684.3673410}, url = {https://dl.acm.org/doi/10.1145/3670684.3673410}, opturl = {http://www.cs.put.poznan.pl/pawelw/pub/hopc24a.pdf}, optissn = {ISSN: Electronic ISSN: }, optisbn = {ISBN: }, note = {Published: 26 July 2024}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and PUT's internal grant 0311/SBAD/0736}, addendum = {\rank{}{}{hopc24a.pdf}} }
@inproceedings{SW24-w, keywords = {workshop}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Last-use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract)}, optbooktitle = {Proceedings of HOPC'24: the 2024 ACM Workshop on Highlights of Parallel Computing (in conjunction with SPAA '24: the 36th ACM Symposium on Parallelism in Algorithms and Architectures, Nantes, France)}, booktitle = {Proceedings of HOPC'24: the 2024 ACM Workshop on Highlights of Parallel Computing (in conjunction with SPAA '24: the 36th ACM Symposium on Parallelism in Algorithms and Architectures)}, editor = {}, year = {2024}, month = jun, pages = {pp. 33--35}, optpublisher = {Association for Computing Machinery (ACM)}, doi = {10.1145/3670684.3673411}, url = {https://dl.acm.org/doi/10.1145/3670684.3673411}, opturl = {http://www.cs.put.poznan.pl/pawelw/pub/hopc24b.pdf}, optissn = {ISSN: Electronic ISSN: }, optisbn = {ISBN: }, note = {Published: 26 July 2024}, annote = {NCN grant DEC-2012/07/B/ST6/01230 and the Czech Ministry of Education, Youth, and Sports from the Czech Operational Programme Research, Development, and Education grant CZ.02.1.01/0.0/0.0/15 003/0000421 and PUT's internal grant 0311/SBAD/0736}, addendum = {\rank{}{}{hopc24b.pdf}} }
@article{KKW23, keywords = {journal}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {On the correctness of highly available systems in the presence of failures}, journal = {Journal of Parallel and Distributed Computing (JPDC)}, volume = {180}, number = {}, year = {2023}, month = oct, pages = {}, publisher = {Elsevier}, doi = {10.1016/j.jpdc.2023.04.008}, url = {PDF/jpdc23-journal-full.pdf}, issn = {}, note = {Received 12 March 2022, Revised 4 April 2023, Accepted 21 April 2023, Available online 10 May 2023, Version of Record 13 June 2023}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00}, addendum = {\rank{A}{100}{jpdc23-journal-full.pdf}} }
@article{SW22, keywords = {journal}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Last-use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support}, journal = {Distributed Computing}, year = {2022}, optkey = {}, volume = {35}, number = {3}, month = jun, publisher = {Springer}, pages = {265--301}, doi = {10.1007/s00446-022-00420-2}, url = {PDF/dc22-journal.pdf}, note = {Published: 17 April 2022}, annote = {NCN grant DEC-2012/07/B/ST6/01230 and the Czech Ministry of Education, Youth, and Sports from the Czech Operational Programme Research, Development, and Education grant CZ.02.1.01/0.0/0.0/15 003/0000421}, optaddendum = {\rank{A}{70}, \href{run:./PDF/dc22-journal.pdf}{dc22-journal.pdf}}, addendum = {\rank{A}{70}{dc22-journal.pdf}} }
@article{KKW22, keywords = {journal}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {On Mixing Eventual and Strong Consistency: {Acute Cloud Types}}, journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)}, volume = {33}, number = {6}, year = {2022}, month = jun, pages = {1338--1356}, optpublisher = {IEEE Computer Society}, doi = {10.1109/TPDS.2021.3090318}, opturl = {https://ieeexplore.ieee.org/document/9459528}, url = {PDF/tpds22-journal.pdf}, issn = {Print ISSN: 1045-9219. Online ISSN: 1558-2183. CD: 2161-9883}, note = {Date of Publication: 17 June 2021}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A*}{140}{tpds22-journal.pdf}} }
@inproceedings{KKW22-c, keywords = {conference}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Jiffy: A Lock-free Skip List with Batch Updates and Snapshots}, booktitle = {Proceedings of PPoPP '22: the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, editor = {}, year = {2022}, month = apr, pages = {pp. 400--415}, optpublisher = {ACM Press}, doi = {10.1145/3503221.3508437}, url = {https://dl.acm.org/doi/10.1145/3503221.3508437}, opturl = {http://www.cs.put.poznan.pl/pawelw/pub/ppopp22.pdf}, optissn = {ISSN: Electronic ISSN: }, optisbn = {ISBN: }, note = {Online: 28 March 2022}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00}, addendum = {\rank{A}{140}{ppopp22-full.pdf}} }
@inproceedings{KW21-c, keywords = {conference}, author = {Jan Ko\'nczak and Pawe{\l} T. Wojciechowski}, title = {Failure Recovery from Persistent Memory in {Paxos}-based State Machine Replication}, optbooktitle = {Proceedings of SRDS '21: the 40th IEEE Symposium on Reliable Distributed Systems (Chicago, IL, USA)}, booktitle = {Proceedings of SRDS '21: the 40th IEEE Symposium on Reliable Distributed Systems}, editor = {}, year = {2021}, month = sep, pages = {pp. 88--98}, optpublisher = {IEEE Computer Society}, doi = {10.1109/SRDS53918.2021.00018}, opturl = {http://www.cs.put.poznan.pl/pawelw/pub/srds21.pdf}, url = {PDF/srds21.pdf}, issn = {Electronic ISSN: 2575-8462, PoD ISSN: 1060-9857}, isbn = {Electronic ISBN: 978-1-6654-3819-3, PoD ISBN: 978-1-6654-3820-9}, note = {}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00}, addendum = {\rank{B}{140}{srds21.pdf}} }
@inproceedings{KKW19-c, keywords = {conference}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {On Mixing Eventual and Strong Consistency: {Bayou} Revisited}, optbooktitle = {Proceedings of PODC '19: the 38th ACM Symposium on Principles of Distributed Computing (Toronto, ON, Canada)}, booktitle = {Proceedings of PODC '19: the 38th ACM Symposium on Principles of Distributed Computing}, editor = {}, year = {2019}, month = {July-August}, pages = {pp. 458--460}, optpublisher = {Association for Computing Machinery (ACM)}, optaddress = {New York, NY, USA}, doi = {10.1145/3293611.3331583}, url = {http://www.cs.put.poznan.pl/pawelw/pub/podc19-arxiv.pdf}, isbn = {ISBN: 978-1-4503-6217-7}, note = {}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A*}{200}{podc19-full.pdf}} }
@misc{kkw19-arxiv, keywords = {arxiv}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Creek: Low-latency, Mixed-Consistency Transactional Replication Scheme}, journal = {CoRR}, volume = {abs/1907.00748}, url = {https://arxiv.org/abs/1907.00748}, month = dec, year = {2019} }
@article{KWS+19, keywords = {journal}, author = {{Jan Ko\'nczak and Pawe{\l} T. Wojciechowski and Nuno Santos and Tomasz \.Zurkowski and Andr\'e Schiper}}, title = {Recovery Algorithms for {Paxos}-based State Machine Replication}, journal = {IEEE Transactions on Dependable and Secure Computing (TDSC)}, volume = {18}, number = {2}, year = {2021}, month = {March-April}, pages = {623--640}, publisher = {IEEE Computer Society}, doi = {10.1109/TDSC.2019.2926723}, opturl = {http://www.cs.put.poznan.pl/pawelw/pub/tdsc19-accepted.pdf}, url = {PDF/tdsc21-journal.pdf}, issn = {Print ISSN: 1545-5971. Electronic ISSN: 1941-0018. CD: 2160-9209}, note = {Date of Publication: 10 July 2019}, annote = {FNP grant POIR.04.04.00-00-5C5B/17-00 and NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A}{140}{tdsc21-journal.pdf}} }
@article{KKW18, keywords = {journal}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined}, journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)}, volume = {29}, number = {7}, year = {2018}, month = jul, pages = {1499--1514}, publisher = {IEEE Computer Society}, doi = {10.1109/TPDS.2018.2796079}, url = {PDF/tpds18-journal-full.pdf}, issn = {Print ISSN: 1045-9219. Electronic ISSN: 1558-2183}, note = {Date of Publication: January 23, 2018}, annote = {NCN grant DEC-2011/01/N/ST6/06762 and FNP grant 103/UD/SKILLS/2014}, addendum = {\rank{A*}{}{tpds18-journal-full.pdf}} }
@article{KSBW18, keywords = {journal}, author = {{Pawe{\l} Kobyli\'nski and Konrad Siek and Jan Baranowski and Pawe{\l} T. Wojciechowski}}, title = {Helenos: {A} Realistic Benchmark for Distributed Transactional Memory}, journal = {Software: Practice and Experience}, year = {2018}, optkey = {}, volume = {48}, number = {3}, month = mar, publisher = {Wiley}, pages = {528--549}, doi = {10.1002/spe.2548}, opturl = {https://doi.org/10.1002/spe.2548}, url = {PDF/jspe17-journal.pdf}, note = {First published: 9 October 2017}, optannote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{B}{}{jspe17-journal.pdf}} }
@misc{WK17-draft, keywords = {draft}, author = {Pawe{\l} T. Wojciechowski and Pawe{\l} Kobyli\'nski and Sebastian Kochman}, title = {Strongly and Eventually Consistent Transactions for {RESTful} Web Services}, journal = {}, year = {2017}, optkey = {}, volume = {}, number = {}, month = {}, publisher = {}, pages = {}, doi = {}, note = {In preparation}, annote = {NCN grant DEC-2012/07/B/ST6/01230} }
@article{KWG17, keywords = {journal}, optauthor = {Jan Z. Ko\'nczak and Pawe{\l} T. Wojciechowski and Rachid Guerraoui}, author = {Jan Ko\'nczak and Pawe{\l} T. Wojciechowski and Rachid Guerraoui}, title = {Operation-Level Wait-Free Transactional Memory with Support for Irrevocable Operations}, journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)}, volume = {28}, number = {12}, year = {2017}, month = dec, pages = {3570--3583}, publisher = {IEEE Computer Society}, issn = {Print ISSN: 1045-9219. Electronic ISSN: 1558-2183}, doi = {10.1109/TPDS.2017.2734879}, url = {PDF/tpds17b-journal.pdf}, note = {Date of publication: August 2, 2017}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A*}{40}{tpds17b-journal.pdf}} }
@techreport{KKW17-tr, keywords = {techreport}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Bridging eventual and strong consistency}, institution = {Institute of Computing Science, Pozna\'n University of Technology}, year = {2017}, optkey = {}, opttype = {}, optnumber = {RA-??/17}, optaddress = {}, month = aug, optnote = {Unpublished manuscript}, optannote = {} }
@misc{SW17-draft, keywords = {draft}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {A Recipe for Implementing Multi-agent Systems with Distributed Transactional Memory}, booktitle = {}, publisher = {Springer}, optaddress = {Cham, Heidelberg, New York, Dordrecht, London}, editor = {}, pages = {1--23}, optseries = {}, series = {Lecture Notes in Computer Science "State of the Art"}, volume = {}, year = {2017}, month = feb, isbn = {}, note = {In preparation}, annote = {NCN grant DEC-2012/07/B/ST6/01230} }
@inproceedings{WS16-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Konrad Siek}, title = {{Atomic RMI 2}: Distributed Transactions for {Java}}, optbooktitle = {Proceedings of AGERE '16: the 6th Workshop on Programming based on Actors, Agents, and Decentralized Control (in conjunction with SPLASH '16, Amsterdam, The Netherlands)}, booktitle = {Proceedings of AGERE '16: the 6th Workshop on Programming based on Actors, Agents, and Decentralized Control (in conjunction with SPLASH '16: the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2016}, optorganization = {}, optpublisher = {Association for Computing Machinery (ACM)}, optaddress = {New York, NY, USA}, month = oct, pages = {61--69}, doi = {http://dx.doi.org/10.1145/3001886.3001893}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A* (OOPSLA)}{}{}} }
@misc{SW16-arxiv, keywords = {arxiv}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Atomic {RMI} 2: Highly Parallel Pessimistic Distributed Transactional Memory}, journal = {CoRR}, volume = {abs/1606.03928}, year = {2016}, url = {http://arxiv.org/abs/1606.03928}, archiveprefix = {arXiv}, eprint = {1606.03928}, timestamp = {Wed, 07 Jun 2017 14:42:08 +0200}, biburl = {http://dblp.org/rec/bib/journals/corr/SiekW16}, bibsource = {dblp computer science bibliography, http://dblp.org}, note = {In preparation}, annote = {NCN grant DEC-2012/07/B/ST6/01230} }
@inproceedings{KWG16-w, keywords = {workshop}, author = {Jan Ko\'nczak and Pawe{\l} T. Wojciechowski and Rachid Guerraoui}, title = {Ensuring Irrevocability in Wait-free Transactional Memory}, optbooktitle = {Proceedings of TRANSACT '16 : the 11th ACM SIGPLAN Workshop on Transactional Computing (in conjunction with PPoPP '16: the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Barcelona, Spain)}, booktitle = {Proceedings of TRANSACT '16 : the 11th ACM SIGPLAN Workshop on Transactional Computing (in conjunction with PPoPP '16: the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2016}, optorganization = {}, publisher = {}, optaddress = {}, month = mar, pages = {}, doi = {}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A (PPoPP)}{}{}} }
@misc{WS16b-arxiv, keywords = {arxiv}, author = {Pawe{\l} T. Wojciechowski and Konrad Siek}, title = {The Optimal Pessimistic Transactional Memory Algorithm}, journal = {CoRR}, volume = {abs/1605.01361}, year = {2016}, url = {http://arxiv.org/abs/1605.01361}, archiveprefix = {arXiv}, eprint = {1605.01361}, timestamp = {Wed, 07 Jun 2017 14:41:42 +0200}, biburl = {http://dblp.org/rec/bib/journals/corr/WojciechowskiS16}, bibsource = {dblp computer science bibliography, http://dblp.org}, note = {In preparation}, annote = {NCN grants DEC-2012/06/M/ST6/00463 and DEC-2012/07/B/ST6/01230} }
@misc{BKSW16-arxiv, keywords = {arxiv}, author = {Jan Baranowski and Pawe{\l} Kobyli\'nski and Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Helenos: {A} Realistic Benchmark for Distributed Transactional Memory}, journal = {CoRR}, volume = {abs/1603.07899}, url = {https://arxiv.org/abs/1603.07899}, month = mar, year = {2016} }
@article{WKK16, keywords = {journal}, author = {Pawe{\l} T. Wojciechowski and Tadeusz Kobus and Maciej Kokoci\'nski}, title = {State-Machine and Deferred-Update Replication: Analysis and Comparison}, journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)}, volume = {28}, number = {3}, year = {2017}, month = mar, pages = {891--904}, publisher = {IEEE Computer Society}, doi = {10.1109/TPDS.2016.2590422}, url = {PDF/tpds17a-journal-full.pdf}, issn = {Print ISSN: 1045-9219. Electronic ISSN: 1558-2183}, note = {Published: 12 July 2016}, annote = {NCN grants DEC-2012/06/M/ST6/00463 and DEC-2011/01/N/ST6/06762}, addendum = {\rank{A*}{40}{tpds17a-journal-full.pdf}} }
@article{KKW16, keywords = {journal}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Relaxing Real-time Order in Opacity and Linearizability}, journal = {Journal of Parallel and Distributed Computing (JPDC)}, volume = {100}, number = {}, year = {2017}, month = feb, pages = {57--70}, publisher = {Elsevier}, doi = {10.1016/j.jpdc.2016.10.007}, url = {PDF/jpdc17-journal-full.pdf}, issn = {Print ISSN: 0743-7315}, note = {Accepted: October 4, 2016. Available online: October 24, 2016}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A*}{30}{jpdc17-journal-full.pdf}} }
@article{SW16, keywords = {journal}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {{Atomic RMI}: a Distributed Transactional Memory Framework}, journal = {International Journal of Parallel Programming}, publisher = {Springer US}, year = {2016}, optkey = {}, volume = {44}, number = {3}, month = jun, pages = {598--619}, doi = {10.1007/s10766-015-0361-x}, url = {PDF/ijpp15-journal.pdf}, issn = {Print ISSN: 0885-7458. Online ISSN: 1573-7640}, note = {First online: April 1, 2015. Received: August 14, 2014. Accepted: March 10, 2015. Invited submission for HLPP '14: the 7th International Symposium on High-level Parallel Programming and Applications}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A}{15}{ijpp15-journal.pdf}} }
@misc{SW15-draft, keywords = {draft}, author = {Konrad Siek and Pawe{\l}T. Wojciechowski}, title = {Transactions Scheduled While You Wait: Augmenting Transactional Memory with a Sorting Queue}, journal = {Journal of Grid Computing}, year = {2015}, optkey = {}, volume = {}, number = {}, month = {}, publisher = {Springer}, pages = {}, doi = {}, note = {Rejected}, annote = {NCN grant DEC-2012/06/M/ST6/00463} }
@article{SW15, keywords = {other}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Proving Opacity of Transactional Memory with Early Release}, journal = {Foundations of Computing and Decision Sciences}, year = {2015}, optkey = {}, volume = {40}, number = {4}, month = dec, publisher = {Publishing House of Poznan University of Technology}, pages = {317--335}, doi = {10.1515/fcds-2015-0018}, url = {PDF/fcds15-journal.pdf}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, optaddendum = {\rank{}{15 (lista B)}{fcds15-journal.pdf}}, addendum = {\rank{}{}{fcds15-journal.pdf}} }
@inproceedings{KKW15b-c, keywords = {conference}, optcrossref = {}, optkey = {}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Brief Announcement: Eventually Consistent Linearizability}, optbooktitle = {Proceedings of ACM PODC '15: the 34th ACM Symposium on Principles of Distributed Computing (Donostia-San Sebastián, Spain)}, booktitle = {Proceedings of ACM PODC '15: the 34th ACM Symposium on Principles of Distributed Computing}, editor = {}, year = {2015}, month = jul, pages = {pp. 237--239}, optpublisher = {Association for Computing Machinery (ACM)}, optaddress = {New York, NY, USA}, doi = {10.1145/2767386.2767448}, url = {http://www.cs.put.poznan.pl/pawelw/pub/podc15.pdf}, isbn = {ISBN: 978-1-4503-3617-8}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A*}{}{podc15.pdf}} }
@inproceedings{KKW15a-w, keywords = {workshop}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {The Correctness Criterion for Deferred Update Replication}, optbooktitle = {Proceedings of TRANSACT '15 : the 10th ACM SIGPLAN Workshop on Transactional Computing (co-located with 47th ACM STOC '15 and 36th ACM PLDI '15, Portland, Oregon, USA)}, booktitle = {Proceedings of TRANSACT '15 : the 10th ACM SIGPLAN Workshop on Transactional Computing (co-located with 47th ACM STOC '15 and 36th ACM PLDI '15)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2015}, optorganization = {}, publisher = {}, optaddress = {}, month = jun, pages = {}, issn = {}, isbn = {}, doi = {}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A* (STOC i PLDI)}{}{}} }
@incollection{GR15-ch, keywords = {chapter,selectedchapter}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Introduction to Transactional Replication}, booktitle = {Transactional Memory: Foundations, Algorithms, Tools, and Applications. COST Action Euro-TM IC1001}, publisher = {Springer}, optaddress = {Cham, Heidelberg, New York, Dordrecht, London}, editor = {Rachid Guerraoui and Paolo Romano}, pages = {309--340}, optseries = {Lecture Notes in Computer Science}, series = {LNCS}, volume = {8913}, year = {2015}, optissn = {}, isbn = {978-3-319-14719-2 (Print), 978-3-319-14720-8 (Online)}, doi = {10.1007/978-3-319-14720-8_15}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, optaddendum = {\rank{}{13}{}} }
@inproceedings{SW14c-c, keywords = {conference}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Brief Announcement: Relaxing Opacity in Pessimistic Transactional Memory}, optbooktitle = {Proceedings of DISC '14: the 28th International Symposium on Distributed Computing (Austin, Texas, USA)}, booktitle = {Proceedings of DISC '14: the 28th International Symposium on Distributed Computing}, optcrossref = {}, optkey = {}, opteditor = {Fabian Kuhn}, volume = {8784}, number = {}, series = {LNCS}, year = {2014}, optorganization = {}, publisher = {Springer}, optaddress = {Berlin, Heidelberg}, month = oct, pages = {540--541}, doi = {10.1007/978-3-662-45174-8}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A}{}{disc14.pdf}} }
@inproceedings{KKW14b-c, keywords = {conference}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Make the Leader Work: Executive Deferred Update Replication}, optbooktitle = {Proceedings of SRDS '14: the 33rd IEEE Symposium on Reliable Distributed Systems (Nara, Japan)}, booktitle = {Proceedings of SRDS '14: the 33rd IEEE Symposium on Reliable Distributed Systems}, editor = {}, year = {2014}, month = oct, pages = {pp. 89--94}, optpublisher = {IEEE Computer Society}, doi = {10.1109/SRDS.2014.42}, url = {http://www.cs.put.poznan.pl/pawelw/pub/srds14.pdf}, issn = {ISSN: 1060-9857. Electronic ISSN: 1060-9857}, isbn = {ISBN: 978-1-4799-5584-8}, note = {}, annote = {NCN grant DEC-2011/01/N/ST6/06762}, addendum = {\rank{B}{}{srds14.pdf}} }
@inproceedings{KKW14a-w, keywords = {workshop}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {On Safety of Replicated Transactional Memory}, optbooktitle = {Proceedings of WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14: the 33rd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Paris, France)}, booktitle = {Proceedings of WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14: the 33rd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, optorganization = {}, publisher = {}, optaddress = {}, month = jul, pages = {}, doi = {}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A* (PODC)}{}{}} }
@inproceedings{SW14b-w, keywords = {workshop}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Zen and the Art of Concurrency Control: An Exploration of TM Safety Property Space with Early Release in Mind}, optbooktitle = {Proceedings of WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14: the 33rd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Paris, France)}, booktitle = {Proceedings of WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14: the 33rd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, optorganization = {}, publisher = {}, optaddress = {}, month = jul, pages = {}, doi = {}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A* (PODC)}{}{}} }
@inproceedings{KKW14-abstract-w, keywords = {workshop}, author = {Maciej Kokoci\'nski and Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {Towards a more scalable Deferred Update Replication (Abstract)}, optbooktitle = {WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems, Amsterdam, The Netherlands)}, booktitle = {WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, optorganization = {}, publisher = {}, optaddress = {}, month = apr, pages = {}, note = {}, annote = {Maciej, Tadeusz: COST Euro-TM} }
@inproceedings{KGW14-abstract-w, keywords = {workshop}, author = {Jan Ko\'nczak and Rachid Guerraoui and Pawe{\l} T. Wojciechowski}, title = {Towards wait-free transactional memory with irrevocables (Abstract)}, optbooktitle = {WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems, Amsterdam, The Netherlands)}, booktitle = {WTM '14: the 4th Euro-TM Workshop on Transactional Memory (co-located with EuroSys '14: the 9th ACM SIGOPS European Conference on Computer Systems)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, optorganization = {}, publisher = {}, optaddress = {}, month = apr, pages = {}, note = {}, annote = {Jan: DEC-2012/06/M/ST6/00463 + EuroSys grant} }
@inproceedings{WS14-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Konrad Siek}, title = {Having Your Cake and Eating it Too: Combining Strong and Eventual Consistency}, optbooktitle = {Proceedings of PaPEC '14: the 1st Workshop on Principles and Practice of Eventual Consistency (co-located with EuroSys'14: the 9th ACM SIGOPS European Conference on Computer Systems, Amsterdam, The Netherlands)}, booktitle = {Proceedings of PaPEC '14: the 1st Workshop on Principles and Practice of Eventual Consistency (co-located with EuroSys'14: the 9th ACM SIGOPS European Conference on Computer Systems)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2014}, optorganization = {}, publisher = {Association for Computing Machinery (ACM)}, optaddress = {New York, NY, USA}, month = apr, pages = {}, doi = {10.1145/2596631.2596637}, note = {}, annote = {NCN grant DEC-2012/07/B/ST6/01230}, addendum = {\rank{A (EuroSys)}{}{}} }
@incollection{BDK+14-ch, keywords = {chapter}, author = {Jerzy Brzezi\'nski and Dariusz Dwornikowski and Anna Kobusi\'nska and Jacek Kobusi\'nski and Micha{\l} Sajkowski and Cezary Sobaniec and Micha{\l} Szychowiak and Dariusz Wawrzyniak and Pawe{\l} T. Wojciechowski}, title = {{Dependability Infrastructure for SOA Applications}}, booktitle = {{Advanced SOA Tools and Applications}}, publisher = {Springer}, editor = {Stanis{\l}aw Ambroszkiewicz and Jerzy Brzezi\'nski and Wojciech Cellary and Adam Grzech and Krzysztof Zieli\'nski}, pages = {203--260}, series = {Studies in Computational Intelligence}, volume = {499}, year = {2014}, isbn = {978-3-642-38956-6} }
@inproceedings{SW13-c, keywords = {conference}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Brief Announcement: Towards a Fully-Articulated Pessimistic Distributed Transactional Memory}, optbooktitle = {Proceedings of SPAA '13: the 25th ACM Symposium on Parallelism in Algorithms and Architectures (Montréal, Québec, Canada)}, booktitle = {Proceedings of SPAA '13: the 25th ACM Symposium on Parallelism in Algorithms and Architectures}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2013}, optorganization = {}, publisher = {Association for Computing Machinery (ACM)}, optaddress = {New York, NY, USA}, month = jul, pages = {111--114}, doi = {10.1145/2486159.2486166}, note = {}, annote = {NCN grant DEC-2012/06/M/ST6/00463}, addendum = {\rank{A}{}{spaa13.pdf}} }
@inproceedings{KKW13-c, keywords = {conference}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Hybrid Replication: State-Machine-based and Deferred-Update Replication Schemes Combined}, optbooktitle = {Proceedings of ICDCS '13: the 33rd International Conference on Distributed Computing Systems (Philadelphia, USA)}, booktitle = {Proceedings of ICDCS '13: the 33rd International Conference on Distributed Computing Systems}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2013}, optorganization = {}, publisher = {IEEE Computer Society}, optaddress = {}, month = jul, pages = {286--296}, doi = {10.1109/ICDCS.2013.30}, note = {}, optannote = {NCN grant DEC-2011/01/N/ST6/06762}, addendum = {\rank{A}{}{icdcs13.pdf}} }
@inproceedings{WK13-abstract-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Jan Ko\'nczak}, title = {Back to the Futures: the Futures-based Distributed Transactional Memory (Abstract)}, optbooktitle = {WTM '13: 3rd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '13: the 8th ACM SIGOPS European Conference on Computer Systems, Prague, Czech Republic)}, booktitle = {WTM '13: 3rd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '13: the 8th ACM SIGOPS European Conference on Computer Systems)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2013}, optorganization = {}, publisher = {}, optaddress = {}, month = apr, pages = {}, note = {}, annote = {Pawel, Jan: COST Euro-TM} }
@inproceedings{WKK12-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski and Tadeusz Kobus and Maciej Kokoci\'nski}, title = {Model-Driven Comparison of State-Machine-based and Deferred-Update Replication Schemes}, optbooktitle = {Proceedings of SRDS '12: the 31st IEEE International Symposium on Reliable Distributed Systems (Irvine, USA)}, booktitle = {Proceedings of SRDS '12: the 31st IEEE International Symposium on Reliable Distributed Systems}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, optorganization = {}, publisher = {IEEE Computer Society}, optaddress = {}, month = oct, pages = {101--110}, doi = {10.1109/SRDS.2012.44}, optnote = {A longer version appeared as Technical Report RA-01/12, Institute of Computing Science, Pozna\'n University of Technology, April 2012}, annote = {NCN grant DEC-2011/01/N/ST6/06762. The initial work on Paxos STM was funded in part by the Polish Ministry of Science and Higher Education within the European Regional Development Fund, Grant No. POIG.01.03.01-00-008/08}, addendum = {\rank{B}{}{srds12.pdf}} }
@inproceedings{WS12-c, keywords = {conference}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in {Java}}, optbooktitle = {Proceedings of FMICS '12: the 17th International Workshop on Formal Methods for Industrial Critical Systems (co-located with FM '12: the 18th International Symposium on Formal Methods, Paris, France)}, booktitle = {Proceedings of FMICS '12: the 17th International Workshop on Formal Methods for Industrial Critical Systems (co-located with FM '12: the 18th International Symposium on Formal Methods)}, optcrossref = {}, optkey = {}, editor = {}, volume = {7437}, number = {}, series = {LNCS}, year = {2012}, optorganization = {}, publisher = {Springer}, optaddress = {}, month = aug, pages = {192–206}, doi = {10.1007/978-3-642-32469-7_13}, note = {}, annote = {Polish Ministry of Science and Higher Education within the European Regional Development Fund grant POIG.01.03.01-00-008/08}, addendum = {\rank{C}{13}{fmics12.pdf}} }
@inproceedings{WK12-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Jan Ko\'nczak}, title = {A Formal Model of Crash Recovery in Distributed Software Transactional Memory (Extended Abstract)}, optbooktitle = {WTTM '12: the 4th Workshop on the Theory of Transactional Memory (co-located with PODC '12: the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Madeira, Portugal)}, booktitle = {WTTM '12: the 4th Workshop on the Theory of Transactional Memory (co-located with PODC '12: the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, optorganization = {}, publisher = {}, optaddress = {}, month = jul, pages = {}, note = {}, annote = {}, addendum = {\rank{A* (PODC)}{}{}} }
@inproceedings{Woj12-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski}, title = {Conditional Concurrency Combinators}, optbooktitle = {LaME '12: International Workshop on Languages for the Multi-core Era (co-located with ECOOP '12: the 26th European Conference on Object-Oriented Programming, Beijing, China)}, booktitle = {LaME '12: International Workshop on Languages for the Multi-core Era (co-located with ECOOP '12: the 26th European Conference on Object-Oriented Programming)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, optorganization = {}, publisher = {}, optaddress = {}, month = jun, pages = {}, note = {}, optannote = {}, addendum = {\rank{A (ECOOP)}{}{}} }
@inproceedings{WS12-abstract-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski and Konrad Siek}, title = {Transaction Concurrency Control via Dynamic Scheduling Based on Static Analysis (Abstract)}, optbooktitle = {WTM '12: 2nd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '12: the 7th ACM SIGOPS European Conference on Computer Systems, Bern, Switzerland)}, booktitle = {WTM '12: 2nd Euro-TM Workshop on Transactional Memory (co-located with EuroSys '12: the 7th ACM SIGOPS European Conference on Computer Systems)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, optorganization = {}, publisher = {}, optaddress = {}, month = apr, pages = {}, note = {}, optannote = {} }
@inproceedings{KKW12-abstract-w, keywords = {workshop}, author = {Tadeusz Kobus and Maciej Kokoci\'nski and Pawe{\l} T. Wojciechowski}, title = {Practical Considerations of Distributed {STM} Systems Development (Abstract)}, optbooktitle = {Proceedings of WDTM '12: the 1st Euro-TM Workshop on Distributed Transactional Memory (Lisbon, Portugal)}, booktitle = {Proceedings of WDTM '12: the 1st Euro-TM Workshop on Distributed Transactional Memory}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, number = {}, series = {}, year = {2012}, optorganization = {}, publisher = {}, optaddress = {}, month = feb, pages = {}, note = {}, optannote = {} }
@inproceedings{KW11-c, keywords = {conference}, author = {Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {{RESTGroups} for Resilient {Web} Services}, optbooktitle = {Proceedings of SOFSEM '12: the 38th International Conference on Current Trends in Theory and Practice of Computer Science (Špindlerův Mlýn, Czech Republic)}, booktitle = {Proceedings of SOFSEM '12: the 38th International Conference on Current Trends in Theory and Practice of Computer Science}, optcrossref = {}, optkey = {}, editor = {M\'aria Bielikov\'a et al.}, volume = {7147}, number = {}, series = {LNCS}, year = {2012}, optorganization = {}, publisher = {Springer}, optaddress = {}, month = jan, pages = {505--517}, note = {Software \& Web Engineering Track}, optannote = {}, addendum = {\rank{B}{13}{sofsem12.pdf}} }
@techreport{EPFL-REPORT-167765, author = {Jan Ko\'nczak and Nuno Santos and Tomasz \.Zurkowski and Pawe{\l} T. Wojciechowski and Andr\'e Schiper}, title = {{JPaxos}: State Machine Replication Based on the {Paxos} Protocol}, number = {EPFL-REPORT-167765}, institution = {Facult\'e Informatique et Communications, EPFL}, month = jul, year = {2011}, note = {38pp} }
@inproceedings{Woj11-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {Typed First-class Communication Channels and Mobility for Concurrent Scripting Languages}, optbooktitle = {Proceedings of SLE '11: the 4th ACM SIGPLAN International Conference on Software Language Engineering (Braga, Portugal)}, booktitle = {Proceedings of SLE '11: the 4th ACM SIGPLAN International Conference on Software Language Engineering}, optcrossref = {}, optkey = {}, editor = {Uwe Aßmann and Anthony Sloane}, volume = {6940}, optnumber = {}, series = {LNCS}, year = {2011}, optorganization = {}, publisher = {Springer}, optaddress = {}, month = jul, pages = {378–-387}, note = {10pp.}, optannote = {}, addendum = {\rank{B}{13}{sle11.pdf}} }
@inproceedings{KWM11-w, keywords = {workshop}, author = {Sebastian Kochman and Pawe{\l} T. Wojciechowski and Mi{\l}osz Kmieciak}, title = {Batched Transactions for {RESTful Web} Services}, optbooktitle = {Proceedings of ComposableWeb '11: the 3rd International Workshop on Lightweight Integration on the Web (co-located with ICWE '11: the 11th International Conference on Web Engineering, Paphos, Cyprus)}, booktitle = {Proceedings of ComposableWeb '11: the 3rd International Workshop on Lightweight Integration on the Web (co-located with ICWE '11: the 11th International Conference on Web Engineering)}, optcrossref = {}, optkey = {}, editor = {Andreas Harth and Nora Koch}, volume = {7059}, optnumber = {}, series = {LNCS}, year = {2011}, optorganization = {}, publisher = {Springer}, optaddress = {}, month = jun, pages = {86–-98}, note = {}, optannote = {}, addendum = {\rank{B (ICWE)}{13}{}} }
@incollection{BDJ+10-ch, keywords = {chapter}, author = {Jerzy Brzezi\'nski and Arkadiusz Danilecki and Krzysztof Jankiewicz and Anna Kobusi\'nska and Mariusz Mamo\'nski and Tadeusz Morzy and Pawe{\l} T. Wojciechowski}, title = {Transaction and Rollback-Recovery Support for {Service-Oriented Architecture}}, booktitle = {{SOA Infrastructure Tools: Concepts and Methods}}, publisher = {Pozna\'n University of Economics Press}, editor = {Stanis{\l}aw Ambroszkiewicz and Jerzy Brzezi\'nski and Wojciech Cellary and Adam Grzech and Krzysztof Zieli\'nski}, pages = {117--152}, year = {2010}, isbn = {978-83-7417-544-9} }
@incollection{BKL+10-ch, keywords = {chapter}, author = {Jerzy Brzezi\'nski and Micha{\l} Kalewski and Marek Libuda and Cezary Sobaniec and Dariusz Wawrzyniak and Pawe{\l} T. Wojciechowski and Piotr Wysocki}, title = {Replication Tools for {Service-Oriented Architecture}}, booktitle = {{SOA Infrastructure Tools: Concepts and Methods}}, publisher = {Pozna\'n University of Economics Press}, editor = {Stanis{\l}aw Ambroszkiewicz and Jerzy Brzezi\'nski and Wojciech Cellary and Adam Grzech and Krzysztof Zieli\'nski}, pages = {153--180}, year = {2010}, isbn = {978-83-7417-544-9} }
@inproceedings{SW10-w, keywords = {workshop}, author = {Konrad Siek and Pawe{\l} T. Wojciechowski}, title = {Statically Computing Upper Bounds on Object Calls for Pessimistic Concurrency Control}, optbooktitle = {Proceedings of $(EC)^2$ '10: Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV '10: the 22nd International Conference on Computer Aided Verification, Edinburgh, UK)}, booktitle = {Proceedings of $(EC)^2$ '10: Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV '10: the 22nd International Conference on Computer Aided Verification)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, optnumber = {}, optseries = {}, year = {2010}, optorganization = {}, publisher = {}, optaddress = {}, month = jul, pages = {}, note = {5pp}, optannote = {}, addendum = {\rank{A* (CAV)}{}{}} }
@inproceedings{KW10-w, keywords = {workshop}, author = {Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {A 90\% RESTful Group Communication Service (Extended Abstract)}, optbooktitle = {Proceedings of DCDP '10: the Workshop on Decentralized Coordination of Distributed Processes (co-located with COORDINATION '10: the 12th International Conference on Coordination Models and Languages, Amsterdam, The Netherlands)}, booktitle = {Proceedings of DCDP '10: the Workshop on Decentralized Coordination of Distributed Processes (co-located with COORDINATION '10: the 12th International Conference on Coordination Models and Languages)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, optnumber = {}, optseries = {}, year = {2010}, optorganization = {}, publisher = {}, optaddress = {}, month = jun, pages = {}, note = {Published in Electronic Proceedings in Theoretical Computer Science (EPTCS), Volume 27. A full version published as Technical Report RA-2/10, Institute of Computing Science, Pozna\'n University of Technology}, optannote = {}, addendum = {\rank{A (Coordination)}{}{}} }
@techreport{KW10-tr, keywords = {techreport}, author = {Tadeusz Kobus and Pawe{\l} T. Wojciechowski}, title = {A 90\% RESTful Group Communication Service}, institution = {Institute of Computing Science, Pozna\'n University of Technology}, year = {2010}, optkey = {}, opttype = {}, number = {RA-02/10}, optaddress = {}, month = may, note = {19pp}, optannote = {} }
@article{SWU10, keywords = {journal}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Asis Unyapoth}, title = {{Nomadic Pict}: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation}, journal = {{ACM Transactions on Programming Languages and Systems (TOPLAS)}}, publisher = {Association for Computing Machinery (ACM)}, year = {2010}, optkey = {}, volume = 32, number = 4, month = apr, pages = {12:1--12:63}, note = {}, optannote = {}, doi = {10.1145/1734206.1734209}, url = {PDF/toplas10-journal-full.pdf}, addendum = {\rank{A*}{30}{toplas10-journal-full.pdf}} }
@inproceedings{Woj08-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski}, title = {Extending Atomic Tasks to Distributed Atomic Tasks}, optbooktitle = {Proceedings of the $(EC)^2$ Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV '08: the 20th International Conference on Computer Aided Verification, Princeton, USA)}, booktitle = {Proceedings of the $(EC)^2$ Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV '08: the 20th International Conference on Computer Aided Verification)}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, optnumber = {}, optseries = {}, year = {2008}, optorganization = {}, publisher = {}, optaddress = {}, month = jul, pages = {}, note = {}, optannote = {}, addendum = {\rank{A* (CAV)}{}{}} }
@inproceedings{SW08-w, keywords = {workshop}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski}, title = {Verifying Overlay Networks for Relocatable Computations (or: Nomadic Pict, relocated)}, optbooktitle = {Proceedings of the Workshop on the Rise and Rise of the Declarative Datacentre (Cambridge, UK)}, booktitle = {Proceedings of the Workshop on the Rise and Rise of the Declarative Datacentre}, optcrossref = {}, optkey = {}, editor = {}, volume = {}, optnumber = {}, optseries = {}, year = {2008}, optorganization = {}, publisher = {}, optaddress = {}, month = may, pages = {}, note = {Appeared as Microsoft Research Technical Report MSR-TR-2008-61}, optannote = {} }
@book{Woj07-hab, opttype = {Habilitation thesis}, optschool = {Poznan University of Technology}, keywords = {thesis}, author = {Pawe{\l} T. Wojciechowski}, title = {Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in Communicating Systems}, optpublisher = {Wydawnictwo Politechniki Pozna\'nskiej}, publisher = {Publishing House of Poznan University of Technology}, year = {2007}, number = {}, series = {}, address = {Pl. Marii Sk{\l}odowskiej-Curie 2, Pozna\'n 60-965, Poland}, optedition = {1st}, issn = {0551-6528}, isbn = {978-83-7143-323-8}, note = {204pp}, url = {https://www.cs.put.poznan.pl/pawelw/book/}, addendum = {\rank{}{}{habilitation.pdf}} }
@inproceedings{Woj06b-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {Scalable Message Routing for Mobile Software Assistants}, optbooktitle = {Proceedings of EUC '06: the 2006 IFIP International Conference on Embedded And Ubiquitous Computing (Seoul, Korea)}, booktitle = {Proceedings of EUC '06: the 2006 IFIP International Conference on Embedded And Ubiquitous Computing}, optcrossref = {}, optkey = {}, editor = {Edwin Sha and Sung-Kook Han and Cheng-Zhong Xu and Moon-Hae Kim and Laurence T. Yang and Bin Xiao}, volume = {4096}, optnumber = {}, series = {LNCS}, year = {2006}, optorganization = {}, publisher = {Springer}, optaddress = {}, month = aug, pages = {355--364}, note = {}, optannote = {}, addendum = {\rank{C}{13}{euc06.pdf}} }
@techreport{Woj06b-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Scalable Message Routing for Mobile Software Assistants}, institution = {Institute of Computing Science, Pozna\'n University of Technology}, year = {2006}, optkey = {}, opttype = {}, number = {RA-010/06}, optaddress = {}, month = may, note = {22pp}, optannote = {} }
@inproceedings{Woj06-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties}, optbooktitle = {Proceedings of SC '06: the 5th IFIP International Symposium on Software Composition (co-located with ETAPS '06, Vienna, Austria)}, booktitle = {Proceedings of SC '06: the 5th IFIP International Symposium on Software Composition (co-located with ETAPS '06)}, optcrossref = {}, optkey = {}, editor = {Welf L\"owe and Mario S\"udholt}, volume = {4089}, optnumber = {}, series = {LNCS}, year = {2006}, optorganization = {}, publisher = {Springer}, optaddress = {}, month = mar, pages = {131--146}, note = {}, optannote = {}, addendum = {\rank{d'ed}{13}{sc06.pdf}} }
@incollection{BFMNRSW06-ch, keywords = {selectedchapter}, author = {{Daniel B{\"u}nzli and Rachele Fuzzati and Sergio Mena and Uwe Nestmann and Olivier R{\"u}tti and Andr\'e Schiper and Pawe{\l} T. Wojciechowski}}, title = {Advances in the Design and Implementation of Group Communication Middleware}, booktitle = {Dependable Systems: Software, Computing, Networks}, optcrossref = {}, optkey = {}, editor = {J{\"u}rg Kohlas and Bertrand Meyer and Andr\'e Schiper}, volume = {4028}, optnumber = {}, series = {LNCS}, year = {2006}, optorganization = {}, publisher = {Springer}, optaddress = {}, month = sep, pages = {172--194}, issn = {}, isbn = {}, doi = {10.1007/11808107}, note = {}, optannote = {}, optaddendum = {\rank{}{13}{}} }
@inproceedings{RWS06b-c, keywords = {conference}, author = {Olivier R{\"u}tti and Pawe{\l} T. Wojciechowski and Andr\'e Schiper}, title = {Structural and Algorithmic Issues of Dynamic Protocol Update}, optbooktitle = {Proceedings of IPDPS '06: the 20th IEEE International Parallel and Distributed Processing Symposium (Rhodes Island, Greece)}, booktitle = {Proceedings of IPDPS '06: the 20th IEEE International Parallel and Distributed Processing Symposium}, optcrossref = {}, optkey = {}, opteditor = {}, optvolume = {}, optnumber = {}, optseries = {}, year = {2006}, optorganization = {}, publisher = {IEEE Computer Society}, optaddress = {}, month = apr, optpages = {}, note = {}, optannote = {}, addendum = {\rank{A}{}{ipdps06.pdf}} }
@inproceedings{RWS06-c, keywords = {conference}, author = {Olivier R{\"u}tti and Pawe{\l} T. Wojciechowski and Andr\'e Schiper}, title = {{Service Interface}: A New Abstraction for Implementing and Composing Protocols}, optbooktitle = {Proceedings of SAC '06: the 21st ACM Symposium on Applied Computing - Track on Dependable and Adaptive Distributed Systems (Dijon, France)}, booktitle = {Proceedings of SAC '06: the 21st ACM Symposium on Applied Computing - Track on Dependable and Adaptive Distributed Systems}, optcrossref = {}, optkey = {}, opteditor = {}, optvolume = {}, optnumber = {}, optseries = {}, year = {2006}, optorganization = {}, publisher = {Association for Computing Machinery (ACM)}, optaddress = {}, month = apr, pages = {691--696}, note = {}, optannote = {}, addendum = {\rank{B}{}{sac06.pdf}} }
@techreport{Woj05b-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Communication Infrastructure Design for Wide-Area Mobile Computation: Specification in {N}omadic {P}ict}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, year = {2005}, optkey = {}, opttype = {}, number = {LSR-2005-01}, optaddress = {}, month = aug, note = {27pp}, optannote = {} }
@inproceedings{Woj05b-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {Isolation-only Transactions by Typing and Versioning}, optbooktitle = {Proceedings of PPDP '05: the 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (Lisboa, Portugal)}, booktitle = {Proceedings of PPDP '05: the 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming}, optcrossref = {}, optkey = {}, opteditor = {}, optvolume = {}, optnumber = {}, optseries = {}, year = {2005}, optorganization = {}, optpublisher = {Association for Computing Machinery (ACM)}, optaddress = {}, month = jul, optpages = {}, optnote = {}, optannote = {}, addendum = {\rank{B}{}{ppdp05-full.pdf}} }
@inproceedings{Woj05a-w, keywords = {workshop}, author = {Pawe{\l} T. Wojciechowski}, title = {Typing for Reliable Distributed Systems - Recent Advances}, optbooktitle = {Proceedings of Workshop on Dependable Software - Tools and Methods (co-located with IEEE DSN '05: the 35th International Conference on Dependable Systems and Networks, Yokohama, Japan)}, booktitle = {Proceedings of Workshop on Dependable Software - Tools and Methods (co-located with IEEE DSN '05: the 35th International Conference on Dependable Systems and Networks)}, optcrossref = {}, optkey = {}, opteditor = {}, optvolume = {}, optnumber = {}, optseries = {}, year = {2005}, optorganization = {}, optpublisher = {IEEE Computer Society}, optaddress = {}, month = jun, optpages = {}, optnote = {}, optannote = {}, addendum = {\rank{A (DSN)}{}{}} }
@techreport{RWS05-tr, keywords = {techreport}, author = {Olivier R{\"u}tti and Pawe{\l} T. Wojciechowski and Andr\'e Schiper}, title = {Dynamic Update of Distributed Agreement Protocols}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, year = {2005}, optkey = {}, opttype = {}, number = {IC-2005-012}, optaddress = {}, month = mar, note = {25pp}, optannote = {} }
@inproceedings{WR05-c, keywords = {conference}, title = {On Correctness of Dynamic Protocol Update}, author = {Pawe{\l} T. Wojciechowski and Olivier R{\"u}tti}, optbooktitle = {Proceedings of FMOODS '05: the 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (Athens, Greece)}, booktitle = {Proceedings of FMOODS '05: the 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems}, editor = {Martin Steffen and Gianluigi Zavattaro}, publisher = {Springer}, series = {LNCS}, volume = {3535}, month = jun, year = {2005}, optnote = {}, pages = {275--289}, addendum = {\rank{C}{13}{fmoods05.pdf}} }
@inproceedings{TW05-c, keywords = {conference}, title = {Role-Based Declarative Synchronization for Reconfigurable Systems}, author = {Vlad Tanasescu and Pawe{\l} T. Wojciechowski}, optbooktitle = {Proceedings of PADL '05: the 7th International Symposium on Practical Aspects of Declarative Languages (Long Beach, CA, USA)}, booktitle = {Proceedings of PADL '05: the 7th International Symposium on Practical Aspects of Declarative Languages}, editor = {Manuel Hermenegildo and Daniel Cabeza}, publisher = {Springer}, series = {LNCS}, volume = 3350, month = jan, year = {2005}, note = {}, pages = {52--66}, addendum = {\rank{B}{13}{padl05.pdf}} }
@techreport{Woj04-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Isolation-only Transactions by Typing and Versioning}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, year = {2004}, optkey = {}, opttype = {}, number = {IC-2004-104}, optaddress = {}, month = dec, note = {47pp}, optannote = {} }
@inproceedings{Woj04-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {Concurrency Combinators for Declarative Synchronization}, optbooktitle = {Proceedings of APLAS '04: the 2nd Asian Symposium on Programming Languages and Systems (Taipei, Taiwan)}, booktitle = {Proceedings of APLAS '04: the 2nd Asian Symposium on Programming Languages and Systems}, editor = {Wei-Ngan Chin}, publisher = {Springer}, series = {LNCS}, volume = 3302, month = nov, year = {2004}, pages = {163--178}, addendum = {\rank{B}{13}{aplas04.pdf}} }
@inproceedings{WRS04-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski and Olivier R{\"u}tti and Andr\'e Schiper}, title = {{SAMOA}: A Framework for a Synchronisation-Augmented Microprotocol Approach}, optbooktitle = {Proceedings of IPDPS '04: the 18th IEEE International Parallel and Distributed Processing Symposium (Santa Fe, USA)}, booktitle = {Proceedings of IPDPS '04: the 18th IEEE International Parallel and Distributed Processing Symposium}, opteditor = {}, optpublisher = {IEEE Computer Society}, optseries = {}, optvolume = {}, month = apr, year = {2004}, addendum = {\rank{A}{}{ipdps04.pdf}} }
@inproceedings{MSW03-c, keywords = {conference}, author = {Sergio Mena and Andr\'e Schiper and Pawe{\l} T. Wojciechowski}, title = {A Step Towards a New Generation of Group Communication Systems}, optbooktitle = {Proceedings of Middleware '03: the 4th ACM/IFIP/USENIX International Middleware Conference (Rio de Janeiro, Brazil)}, booktitle = {Proceedings of Middleware '03: the 4th ACM/IFIP/USENIX International Middleware Conference}, editor = {Markus Endler and Douglas Schmidt}, publisher = {Springer}, series = {LNCS}, volume = 2672, month = jun, year = {2003}, pages = {414--432}, addendum = {\rank{A}{13}{middleware03.pdf}} }
@techreport{MSW03-tr, keywords = {techreport}, author = {Sergio Mena and Andr\'e Schiper and Pawe{\l} T. Wojciechowski}, title = {A Step Towards a New Generation of Group Communication Systems}, number = {IC-2003-01}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, month = jan, year = {2003} }
@inproceedings{WMS02-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski and Sergio Mena and Andr\'e Schiper}, title = {Semantics of Protocol Modules Composition and Interaction}, optbooktitle = {Proceedings of COORDINATION '02: the fifth International Conference on Coordination Models and Languages (York, UK)}, booktitle = {Proceedings of COORDINATION '02: the fifth International Conference on Coordination Models and Languages}, editor = {Farhad Arbab and Carolyn Talcott}, publisher = {Springer}, series = {LNCS}, volume = 2315, month = apr, year = {2002}, pages = {389--404}, addendum = {\rank{A}{13}{coordination02.pdf}} }
@techreport{WMS02-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski and Sergio Mena and Andr\'e Schiper}, title = {Semantics of Protocol Modules Composition and Interaction}, number = {IC-2002-2}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, month = feb, year = {2002}, note = {33pp} }
@inproceedings{Woj01-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski}, title = {Algorithms for Location-Independent Communication between Mobile Agents}, optbooktitle = {Proceedings of AISB '01 Symposium on Software Mobility and Adaptive Behaviour (York, UK)}, booktitle = {Proceedings of AISB '01 Symposium on Software Mobility and Adaptive Behaviour}, opteditor = {}, optpublisher = {}, optseries = {}, optvolume = {}, year = {2001}, month = mar, optpages = {10--19}, note = {Also published as Technical Report IC-2001-13, School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, addendum = {\rank{d'ed}{13}{aisb01.pdf}} }
@techreport{Woj01-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Algorithms for Location-Independent Communication between Mobile Agents}, institution = {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)}, year = {2001}, optkey = {}, opttype = {}, number = {IC-2001-13}, optaddress = {}, month = mar, note = {24pp}, optannote = {} }
@techreport{Woj00-tr, keywords = {techreport}, author = {Pawe{\l} T. Wojciechowski}, title = {Nomadic {P}ict: Language and Infrastructure Design for Mobile Computation}, institution = {Computer Laboratory, University of Cambridge}, year = {2000}, optkey = {}, opttype = {}, number = {492}, optaddress = {}, month = jun, note = {184pp}, optannote = {} }
@phdthesis{Woj00-phd, keywords = {thesis}, author = {Pawe{\l} T. Wojciechowski}, title = {Nomadic {P}ict: Language and Infrastructure Design for Mobile Computation}, school = {University of Cambridge}, year = {2000}, optcrossref = {}, optkey = {}, optaddress = {}, month = jun, opttype = {}, note = {Also published as Technical Report 492, Computer Laboratory, University of Cambridge. 184pp}, optannote = {}, url = {}, addendum = {\rank{}{}{cl-tr-492.pdf}} }
@manual{Woj00-man, keywords = {manual}, author = {Pawe{\l} T. Wojciechowski}, title = {Nomadic {P}ict. Documentation and User's Manual}, opthowpublished = {Available from \url{http://www.cs.put.poznan.pl/pawelw/npict/}}, year = {2000}, month = dec, note = {Available as part of the {N}omadic {P}ict distribution from \url{http://www.cs.put.poznan.pl/pawelw/npict/}}, optannote = {} }
@article{WS00, keywords = {journal}, author = {Pawe{\l} T. Wojciechowski and Peter Sewell}, title = {Nomadic {P}ict: Language and Infrastructure Design for Mobile Agents}, journal = {{IEEE} {C}oncurrency}, year = {2000}, optkey = {}, volume = {8}, number = {2}, month = {April--June}, pages = {42--52}, note = {Invited submission for ASA/MA '99. }, optannote = {}, url = {PDF/concurrency00-journal.pdf}, addendum = {\rank{A}{}{concurrency00-journal.pdf}} }
@inproceedings{WS99-c, keywords = {conference}, author = {Pawe{\l} T. Wojciechowski and Peter Sewell}, title = {Nomadic {P}ict: Language and Infrastructure Design for Mobile Agents}, optbooktitle = {Proceedings of ASA/MA '99: Symposium on Agent Systems and Applications/Mobile Agents (Palm Springs, CA, USA)}, booktitle = {Proceedings of ASA/MA '99: Symposium on Agent Systems and Applications/Mobile Agents}, optcrossref = {}, optkey = {}, opteditor = {}, optvolume = {}, optnumber = {}, optseries = {}, year = {1999}, month = oct, pages = {2--12}, optorganization = {}, publisher = {IEEE Computer Society}, optaddress = {}, doi = {10.1109/ASAMA.1999.805388}, url = {https://ieeexplore.ieee.org/document/805388}, optissn = {ISSN: Electronic ISSN: }, optisbn = {ISBN: 0-7695-0340-3}, note = {Best paper award}, optannote = {}, addendum = {\rank{d'ed}{}{asama99.pdf}} }
@incollection{SWP99-ch, keywords = {chapter,selectedchapter}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C. Pierce}, title = {Location-Independent Communication for Mobile Agents: a Two-Level Architecture}, booktitle = {Internet Programming Languages}, optcrossref = {}, optkey = {}, editor = {Henri~E. Bal and Boumediene Belkhouche and Luca Cardelli}, volume = {1686}, optnumber = {}, series = {LNCS}, year = {1999}, optorganization = {}, publisher = {Springer}, optaddress = {}, month = oct, pages = {1--31}, note = {}, optannote = {}, doi = {10.1007/3-540-47959-7}, optaddendum = {\rank{}{13}{}} }
@techreport{SWP99-tr, keywords = {techreport}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C. Pierce}, title = {Location-Independent Communication for Mobile Agents: a Two-Level Architecture}, institution = {Computer Laboratory, University of Cambridge}, year = {1999}, optkey = {}, opttype = {}, number = {462}, optaddress = {}, month = apr, note = {31pp.}, optannote = {} }
@inproceedings{SWP98-w, keywords = {workshop}, author = {Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C. Pierce}, title = {Location Independence for Mobile Agents}, optbooktitle = {Proceedings of the Workshop on Internet Programming Languages (co-located with ICCL ’98: International Conference on Computer Languages, Chicago, USA)}, booktitle = {Proceedings of the Workshop on Internet Programming Languages (co-located with ICCL ’98: International Conference on Computer Languages)}, optcrossref = {}, optkey = {}, opteditor = {}, optvolume = {}, optnumber = {}, optseries = {}, year = {1998}, optorganization = {}, optpublisher = {}, optaddress = {}, month = may, optpages = {}, note = {}, optannote = {}, addendum = {\rank{A (ICCL)}{}{}} }
This file was generated by bibtex2html 1.99.