default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Simon J. Gay
@article{DBLP:journals/lmcs/KouzapasGVG24,
author = {Dimitrios Kouzapas and
Ramunas Gutkovas and
A. Laura Voinea and
Simon J. Gay},
title = {A Session Type System for Asynchronous Unreliable Broadcast Communication},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {3},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(3:13)2024},
doi = {10.46298/LMCS-20(3:13)2024},
timestamp = {Wed, 28 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KouzapasGVG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FowlerASGT23,
author = {Simon Fowler and
Duncan Paul Attard and
Franciszek Sowul and
Simon J. Gay and
Phil Trinder},
title = {Special Delivery: Programming with Mailbox Types},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {78--107},
year = {2023},
url = {https://doi.org/10.1145/3607832},
doi = {10.1145/3607832},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FowlerASGT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-12935,
author = {Simon Fowler and
Duncan Paul Attard and
Franciszek Sowul and
Simon J. Gay and
Phil Trinder},
title = {Special Delivery: Programming with Mailbox Types (Extended Version)},
journal = {CoRR},
volume = {abs/2306.12935},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.12935},
doi = {10.48550/ARXIV.2306.12935},
eprinttype = {arXiv},
eprint = {2306.12935},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-12935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GayPV22,
author = {Simon J. Gay and
Diogo Po{\c{c}}as and
Vasco T. Vasconcelos},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {The Different Shades of Infinite Session Types},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {347--367},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_18},
doi = {10.1007/978-3-030-99253-8\_18},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GayPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-08275,
author = {Simon J. Gay and
Diogo Po{\c{c}}as and
Vasco T. Vasconcelos},
title = {The Different Shades of Infinite Session Types},
journal = {CoRR},
volume = {abs/2201.08275},
year = {2022},
url = {https://arxiv.org/abs/2201.08275},
eprinttype = {arXiv},
eprint = {2201.08275},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-08275.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/00020DG21,
author = {Paul Harvey and
Simon Fowler and
Ornela Dardha and
Simon J. Gay},
title = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {08:1--08:2},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.8},
doi = {10.4230/DARTS.7.2.8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/00020DG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/00020DG21,
author = {Paul Harvey and
Simon Fowler and
Ornela Dardha and
Simon J. Gay},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {10:1--10:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.10},
doi = {10.4230/LIPICS.ECOOP.2021.10},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/00020DG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06973,
author = {Paul Harvey and
Simon Fowler and
Ornela Dardha and
Simon J. Gay},
title = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
(Extended version)},
journal = {CoRR},
volume = {abs/2105.06973},
year = {2021},
url = {https://arxiv.org/abs/2105.06973},
eprinttype = {arXiv},
eprint = {2105.06973},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Gay15,
author = {Simon J. Gay},
editor = {Alessandra Di Pierro and
Pasquale Malacaria and
Rajagopal Nagarajan},
title = {Cables, Trains and Types},
booktitle = {From Lambda Calculus to Cybersecurity Through Program Analysis - Essays
Dedicated to Chris Hankin on the Occasion of His Retirement},
series = {Lecture Notes in Computer Science},
volume = {12065},
pages = {3--16},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-41103-9\_1},
doi = {10.1007/978-3-030-41103-9\_1},
timestamp = {Sat, 21 Mar 2020 18:49:30 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Gay15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VoineaDG20,
author = {A. Laura Voinea and
Ornela Dardha and
Simon J. Gay},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Typechecking Java Protocols with [St]Mungo},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12136},
pages = {208--224},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_12},
doi = {10.1007/978-3-030-50086-3\_12},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VoineaDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-01322,
author = {Simon J. Gay and
Peter Thiemann and
Vasco T. Vasconcelos},
editor = {Stephanie Balzer and
Luca Padovani},
title = {Duality of Session Types: The Final Cut},
booktitle = {Proceedings of the 12th International Workshop on Programming Language
Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS
2020, Dublin, Ireland, 26th April 2020},
series = {{EPTCS}},
volume = {314},
pages = {23--33},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.314.3},
doi = {10.4204/EPTCS.314.3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/VoineaDG19,
author = {A. Laura Voinea and
Ornela Dardha and
Simon J. Gay},
editor = {Wolfgang Ahrendt and
Silvia Lizeth Tapia Tarifa},
title = {Resource Sharing via Capability-Based Multiparty Session Types},
booktitle = {Integrated Formal Methods - 15th International Conference, {IFM} 2019,
Bergen, Norway, December 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11918},
pages = {437--455},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34968-4\_24},
doi = {10.1007/978-3-030-34968-4\_24},
timestamp = {Tue, 26 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/VoineaDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-01353,
author = {Dimitrios Kouzapas and
Ramunas Gutkovas and
A. Laura Voinea and
Simon J. Gay},
title = {A Session Type System for Asynchronous Unreliable Broadcast Communication},
journal = {CoRR},
volume = {abs/1902.01353},
year = {2019},
url = {http://arxiv.org/abs/1902.01353},
eprinttype = {arXiv},
eprint = {1902.01353},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-01353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KouzapasDPG18,
author = {Dimitrios Kouzapas and
Ornela Dardha and
Roly Perera and
Simon J. Gay},
title = {Typechecking protocols with Mungo and StMungo: {A} session type toolchain
for Java},
journal = {Sci. Comput. Program.},
volume = {155},
pages = {52--75},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.10.006},
doi = {10.1016/J.SCICO.2017.10.006},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KouzapasDPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Ardeshir-Larijani18,
author = {Ebrahim Ardeshir{-}Larijani and
Simon J. Gay and
Rajagopal Nagarajan},
title = {Automated Equivalence Checking of Concurrent Quantum Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {28:1--28:32},
year = {2018},
url = {https://doi.org/10.1145/3231597},
doi = {10.1145/3231597},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Ardeshir-Larijani18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DardhaG18,
author = {Ornela Dardha and
Simon J. Gay},
editor = {Christel Baier and
Ugo Dal Lago},
title = {A New Linear Logic for Deadlock-Free Session-Typed Processes},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {91--109},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_5},
doi = {10.1007/978-3-319-89366-2\_5},
timestamp = {Sun, 04 Aug 2024 19:40:23 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DardhaG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GayVWY17,
author = {Simon J. Gay and
Vasco T. Vasconcelos and
Philip Wadler and
Nobuko Yoshida},
title = {Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)},
journal = {Dagstuhl Reports},
volume = {7},
number = {1},
pages = {158--189},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.1.158},
doi = {10.4230/DAGREP.7.1.158},
timestamp = {Tue, 13 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GayVWY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
author = {Davide Ancona and
Viviana Bono and
Mario Bravetti and
Joana Campos and
Giuseppe Castagna and
Pierre{-}Malo Deni{\'{e}}lou and
Simon J. Gay and
Nils Gesbert and
Elena Giachino and
Raymond Hu and
Einar Broch Johnsen and
Francisco Martins and
Viviana Mascardi and
Fabrizio Montesi and
Rumyana Neykova and
Nicholas Ng and
Luca Padovani and
Vasco T. Vasconcelos and
Nobuko Yoshida},
title = {Behavioral Types in Programming Languages},
journal = {Found. Trends Program. Lang.},
volume = {3},
number = {2-3},
pages = {95--230},
year = {2016},
url = {https://doi.org/10.1561/2500000031},
doi = {10.1561/2500000031},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GayR16,
author = {Simon J. Gay and
Ant{\'{o}}nio Ravara},
title = {Preface to special issue: behavioural types},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {2},
pages = {154--155},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000152},
doi = {10.1017/S0960129514000152},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GayR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GayR16a,
author = {Simon J. Gay and
Ant{\'{o}}nio Ravara},
title = {Preface to special issue: behavioural types},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {365--366},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000206},
doi = {10.1017/S0960129514000206},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GayR16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Gay16,
author = {Simon J. Gay},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {Subtyping Supports Safe Session Substitution},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {95--108},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_5},
doi = {10.1007/978-3-319-30936-1\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Gay16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VoineaG16,
author = {A. Laura Voinea and
Simon J. Gay},
editor = {Craig Anslow and
Thomas D. LaToza and
Joshua Sunshine},
title = {Benefits of session types for software development},
booktitle = {Proceedings of the 7th International Workshop on Evaluation and Usability
of Programming Languages and Tools, PLATEAU@SPLASH 2016, Amsterdam,
Netherlands, November 1, 2016},
pages = {26--29},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3001878.3001883},
doi = {10.1145/3001878.3001883},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/VoineaG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KouzapasDPG16,
author = {Dimitrios Kouzapas and
Ornela Dardha and
Roly Perera and
Simon J. Gay},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Typechecking protocols with Mungo and StMungo},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {146--159},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968595},
doi = {10.1145/2967973.2968595},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/KouzapasDPG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PereraLG16,
author = {Roly Perera and
Julien Lange and
Simon J. Gay},
editor = {Dominic A. Orchard and
Nobuko Yoshida},
title = {Multiparty Compatibility for Concurrent Objects},
booktitle = {Proceedings of the Ninth workshop on Programming Language Approaches
to Concurrency- and Communication-cEntric Software, {PLACES} 2016,
Eindhoven, The Netherlands, 8th April 2016},
series = {{EPTCS}},
volume = {211},
pages = {73--82},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.211.8},
doi = {10.4204/EPTCS.211.8},
timestamp = {Fri, 27 Mar 2020 08:38:54 +0100},
biburl = {https://dblp.org/rec/journals/corr/PereraLG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PereraG16,
author = {Roly Perera and
Simon J. Gay},
title = {Behavioural Prototypes},
journal = {CoRR},
volume = {abs/1609.01985},
year = {2016},
url = {http://arxiv.org/abs/1609.01985},
eprinttype = {arXiv},
eprint = {1609.01985},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PereraG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PereraG16a,
author = {Roly Perera and
Simon J. Gay},
title = {Liveness for Verification},
journal = {CoRR},
volume = {abs/1609.04233},
year = {2016},
url = {http://arxiv.org/abs/1609.04233},
eprinttype = {arXiv},
eprint = {1609.04233},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PereraG16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-5344,
author = {Simon J. Gay and
Nils Gesbert and
Ant{\'{o}}nio Ravara and
Vasco Thudichum Vasconcelos},
title = {Modular Session Types for Objects},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {4},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(4:12)2015},
doi = {10.2168/LMCS-11(4:12)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-5344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/GaurGM15,
author = {Manish Gaur and
Simon J. Gay and
Ian Mackie},
editor = {Raja Natarajan and
Gautam Barua and
Manas Ranjan Patra},
title = {A Routing Calculus with Flooding Updates},
booktitle = {Distributed Computing and Internet Technology - 11th International
Conference, {ICDCIT} 2015, Bhubaneswar, India, February 5-8, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8956},
pages = {181--186},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14977-6\_12},
doi = {10.1007/978-3-319-14977-6\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/GaurGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/GayP15,
author = {Simon J. Gay and
Ittoop Vergheese Puthoor},
editor = {Jean Krivine and
Jean{-}Bernard Stefani},
title = {Equational Reasoning About Quantum Protocols},
booktitle = {Reversible Computation - 7th International Conference, {RC} 2015,
Grenoble, France, July 16-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9138},
pages = {155--170},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20860-2\_10},
doi = {10.1007/978-3-319-20860-2\_10},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/rc/GayP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Ardeshir-LarijaniGN14,
author = {Ebrahim Ardeshir{-}Larijani and
Simon J. Gay and
Rajagopal Nagarajan},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Verification of Concurrent Quantum Protocols by Equivalence Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {500--514},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_42},
doi = {10.1007/978-3-642-54862-8\_42},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Ardeshir-LarijaniGN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BernardiDGK14,
author = {Giovanni Bernardi and
Ornela Dardha and
Simon J. Gay and
Dimitrios Kouzapas},
editor = {Matteo Maffei and
Emilio Tuosto},
title = {On Duality Relations for Session Types},
booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8902},
pages = {51--66},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45917-1\_4},
doi = {10.1007/978-3-662-45917-1\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BernardiDGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KouzapasGG14,
author = {Dimitrios Kouzapas and
Ramunas Gutkovas and
Simon J. Gay},
editor = {Alastair F. Donaldson and
Vasco T. Vasconcelos},
title = {Session Types for Broadcasting},
booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
12 April 2014},
series = {{EPTCS}},
volume = {155},
pages = {25--31},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.155.4},
doi = {10.4204/EPTCS.155.4},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/KouzapasGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GayGR14,
author = {Simon J. Gay and
Nils Gesbert and
Ant{\'{o}}nio Ravara},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Session Types as Generic Process Types},
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 = {94--110},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.9},
doi = {10.4204/EPTCS.160.9},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/GayGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Franke-ArnoldGP14,
author = {Sonja Franke{-}Arnold and
Simon J. Gay and
Ittoop Vergheese Puthoor},
editor = {Johannes Borgstr{\"{o}}m and
Silvia Crafa},
title = {Verification of Linear Optical Quantum Computing using Quantum Process
Calculus},
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 = {111--129},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.160.10},
doi = {10.4204/EPTCS.160.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Franke-ArnoldGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GayN13,
author = {Simon J. Gay and
Rajagopal Nagarajan},
editor = {Bob Coecke and
Luke Ong and
Prakash Panangaden},
title = {Techniques for Formal Modelling and Analysis of Quantum Systems},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets
of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7860},
pages = {264--276},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38164-5\_18},
doi = {10.1007/978-3-642-38164-5\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GayN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/Franke-ArnoldGP13,
author = {Sonja Franke{-}Arnold and
Simon J. Gay and
Ittoop Vergheese Puthoor},
editor = {Gerhard W. Dueck and
D. Michael Miller},
title = {Quantum Process Calculus for Linear Optical Quantum Computing},
booktitle = {Reversible Computation - 5th International Conference, {RC} 2013,
Victoria, BC, Canada, July 4-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7948},
pages = {234--246},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38986-3\_19},
doi = {10.1007/978-3-642-38986-3\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/Franke-ArnoldGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Ardeshir-LarijaniGN13,
author = {Ebrahim Ardeshir{-}Larijani and
Simon J. Gay and
Rajagopal Nagarajan},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Equivalence Checking of Quantum Protocols},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {478--492},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_33},
doi = {10.1007/978-3-642-36742-7\_33},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Ardeshir-LarijaniGN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ardeshir-LarijaniGN13,
author = {Ebrahim Ardeshir{-}Larijani and
Simon J. Gay and
Rajagopal Nagarajan},
title = {Automated Verification of Quantum Protocols by Equivalence Checking},
journal = {CoRR},
volume = {abs/1312.5951},
year = {2013},
url = {http://arxiv.org/abs/1312.5951},
eprinttype = {arXiv},
eprint = {1312.5951},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ardeshir-LarijaniGN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/DavidsonGMNP12,
author = {Timothy A. S. Davidson and
Simon J. Gay and
Hynek Mlnarik and
Rajagopal Nagarajan and
Nick Papanikolaou},
title = {Model Checking for Communicating Quantum Processes},
journal = {Int. J. Unconv. Comput.},
volume = {8},
number = {1},
pages = {73--98},
year = {2012},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-8-number-1-2012/ijuc-8-1-p-73-98/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/DavidsonGMNP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-2896,
author = {Simon J. Gay and
Ittoop Vergheese Puthoor},
editor = {Ross Duncan and
Prakash Panangaden},
title = {Application of Quantum Process Calculus to Higher Dimensional Quantum
Protocols},
booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
pages = {15--28},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.158.2},
doi = {10.4204/EPTCS.158.2},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-2896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1302-5798,
editor = {Simon J. Gay and
Paul Kelly},
title = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
31 March 2012},
series = {{EPTCS}},
volume = {109},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.109},
doi = {10.4204/EPTCS.109},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-5798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0614,
author = {Timothy A. S. Davidson and
Simon J. Gay and
Rajagopal Nagarajan and
Ittoop Vergheese Puthoor},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Analysis of a Quantum Error Correcting Code using Quantum Process
Calculus},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {67--80},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.7},
doi = {10.4204/EPTCS.95.7},
timestamp = {Tue, 21 Mar 2023 21:05:19 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0469,
author = {Timothy A. S. Davidson and
Simon J. Gay and
Rajagopal Nagarajan},
editor = {Alexandra Silva and
Simon Bliudze and
Roberto Bruni and
Marco Carbone},
title = {Formal Analysis of Quantum Systems using Process Calculus},
booktitle = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {59},
pages = {104--110},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.59.9},
doi = {10.4204/EPTCS.59.9},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-2156,
author = {Simon J. Gay},
title = {Stabilizer States as a Basis for Density Matrices},
journal = {CoRR},
volume = {abs/1112.2156},
year = {2011},
url = {http://arxiv.org/abs/1112.2156},
eprinttype = {arXiv},
eprint = {1112.2156},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-2156.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/GayV10,
author = {Simon J. Gay and
Vasco Thudichum Vasconcelos},
title = {Linear type theory for asynchronous session types},
journal = {J. Funct. Program.},
volume = {20},
number = {1},
pages = {19--50},
year = {2010},
url = {https://doi.org/10.1017/S0956796809990268},
doi = {10.1017/S0956796809990268},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/GayV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DonaldsonG10,
author = {Alastair F. Donaldson and
Simon J. Gay},
title = {Type inference and strong static type checking for Promela},
journal = {Sci. Comput. Program.},
volume = {75},
number = {11},
pages = {1165--1191},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2010.05.010},
doi = {10.1016/J.SCICO.2010.05.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DonaldsonG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GayVRGC10,
author = {Simon J. Gay and
Vasco Thudichum Vasconcelos and
Ant{\'{o}}nio Ravara and
Nils Gesbert and
Alexandre Z. Caldeira},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Modular session types for distributed object-oriented programming},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {299--312},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706335},
doi = {10.1145/1706299.1706335},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/GayVRGC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1002-1408,
editor = {Alastair R. Beresford and
Simon J. Gay},
title = {Proceedings Second International Workshop on Programming Language
Approaches to Concurrency and Communication-cEntric Software, {PLACES}
2009, York, UK, 22nd March 2009},
series = {{EPTCS}},
volume = {17},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.17},
doi = {10.4204/EPTCS.17},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-1408.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Gay08,
author = {Simon J. Gay},
title = {Bounded polymorphism in session types},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {5},
pages = {895--930},
year = {2008},
url = {https://doi.org/10.1017/S0960129508006944},
doi = {10.1017/S0960129508006944},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Gay08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GayNP08,
author = {Simon J. Gay and
Rajagopal Nagarajan and
Nikolaos Papanikolaou},
editor = {Aarti Gupta and
Sharad Malik},
title = {{QMC:} {A} Model Checker for Quantum Systems},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {543--547},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_51},
doi = {10.1007/978-3-540-70545-1\_51},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/GayNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GayN06,
author = {Simon J. Gay and
Rajagopal Nagarajan},
title = {Types and typechecking for Communicating Quantum Processes},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {3},
pages = {375--406},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005263},
doi = {10.1017/S0960129506005263},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GayN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Gay06,
author = {Simon J. Gay},
title = {Quantum programming languages: survey and bibliography},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {4},
pages = {581--600},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005378},
doi = {10.1017/S0960129506005378},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Gay06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VasconcelosGR06,
author = {Vasco Thudichum Vasconcelos and
Simon J. Gay and
Ant{\'{o}}nio Ravara},
title = {Type checking a multithreaded functional language with session types},
journal = {Theor. Comput. Sci.},
volume = {368},
number = {1-2},
pages = {64--87},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.06.028},
doi = {10.1016/J.TCS.2006.06.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/VasconcelosGR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GayH05,
author = {Simon J. Gay and
Malcolm Hole},
title = {Subtyping for session types in the pi calculus},
journal = {Acta Informatica},
volume = {42},
number = {2-3},
pages = {191--225},
year = {2005},
url = {https://doi.org/10.1007/s00236-005-0177-z},
doi = {10.1007/S00236-005-0177-Z},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GayH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Gay05,
author = {Simon J. Gay},
title = {Quantum Programming Languages: Survey and Bibliography},
journal = {Bull. {EATCS}},
volume = {86},
pages = {176--196},
year = {2005},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Gay05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GayN05,
author = {Simon J. Gay and
Rajagopal Nagarajan},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Communicating quantum processes},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {145--157},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040318},
doi = {10.1145/1040305.1040318},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/GayN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DonaldsonG05,
author = {Alastair F. Donaldson and
Simon J. Gay},
editor = {Patrice Godefroid},
title = {Etch: An Enhanced Type Checking Tool for Promela},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {266--271},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_21},
doi = {10.1007/11537328\_21},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/DonaldsonG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0502048,
author = {Rajagopal Nagarajan and
Nikolaos Papanikolaou and
Garry Bowen and
Simon J. Gay},
title = {An Automated Analysis of the Security of Quantum Key Distribution},
journal = {CoRR},
volume = {abs/cs/0502048},
year = {2005},
url = {http://arxiv.org/abs/cs/0502048},
eprinttype = {arXiv},
eprint = {cs/0502048},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0502048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0504007,
author = {Simon J. Gay and
Rajagopal Nagarajan and
Nikolaos Papanikolaou},
title = {Probabilistic Model-Checking of Quantum Protocols},
journal = {CoRR},
volume = {abs/quant-ph/0504007},
year = {2005},
url = {http://arxiv.org/abs/quant-ph/0504007},
eprinttype = {arXiv},
eprint = {quant-ph/0504007},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-quant-ph-0504007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VasconcelosRG04,
author = {Vasco Thudichum Vasconcelos and
Ant{\'{o}}nio Ravara and
Simon J. Gay},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Session Types for Functional Multithreading},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {497--511},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_32},
doi = {10.1007/978-3-540-28644-8\_32},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/VasconcelosRG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GayN03,
author = {Simon J. Gay and
Rajagopal Nagarajan},
title = {Intensional and Extensional Semantics of Dataflow Programs},
journal = {Formal Aspects Comput.},
volume = {15},
number = {4},
pages = {299--318},
year = {2003},
url = {https://doi.org/10.1007/s00165-003-0018-1},
doi = {10.1007/S00165-003-0018-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GayN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Gay01,
author = {Simon J. Gay},
editor = {Richard J. Boulton and
Paul B. Jackson},
title = {A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL},
booktitle = {Theorem Proving in Higher Order Logics, 14th International Conference,
TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2152},
pages = {217--232},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44755-5\_16},
doi = {10.1007/3-540-44755-5\_16},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Gay01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbramskyGN99,
author = {Samson Abramsky and
Simon J. Gay and
Rajagopal Nagarajan},
title = {A Specification Structure for Deadlock-Freedom of Synchronous Processes},
journal = {Theor. Comput. Sci.},
volume = {222},
number = {1-2},
pages = {1--53},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00189-3},
doi = {10.1016/S0304-3975(98)00189-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbramskyGN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GayH99,
author = {Simon J. Gay and
Malcolm Hole},
editor = {S. Doaitse Swierstra},
title = {Types and Subtypes for Client-Server Interactions},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {74--90},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_6},
doi = {10.1007/3-540-49099-X\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/GayH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/AbramskyGN97,
author = {Samson Abramsky and
Simon J. Gay and
Rajagopal Nagarajan},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {295--320},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014557},
doi = {10.1007/BFB0014557},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/AbramskyGN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/AbramskyGN96,
author = {Samson Abramsky and
Simon J. Gay and
Rajagopal Nagarajan},
editor = {Manfred Broy},
title = {Interaction categories and the foundations of typed concurrent programming},
booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program
Design, Marktoberdorf, Germany},
pages = {35--113},
year = {1996},
timestamp = {Tue, 14 Nov 2006 16:17:55 +0100},
biburl = {https://dblp.org/rec/conf/nato/AbramskyGN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/banff/AbramskyGN95,
author = {Samson Abramsky and
Simon J. Gay and
Rajagopal Nagarajan},
editor = {Faron Moller and
Graham M. Birtwistle},
title = {Specification Structures and Propositions-as-Types for Concurrency},
booktitle = {Logics for Concurrency - Structure versus Automata (8th Banff Higher
Order Workshop, Banff, Canada, August 27 - September 3, 1995, Proceedings)},
series = {Lecture Notes in Computer Science},
volume = {1043},
pages = {5--40},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60915-6\_2},
doi = {10.1007/3-540-60915-6\_2},
timestamp = {Sun, 02 Jun 2019 21:10:52 +0200},
biburl = {https://dblp.org/rec/conf/banff/AbramskyGN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GayN95,
author = {Simon J. Gay and
Rajagopal Nagarajan},
title = {A Typed Calculus of Synchronous Processes},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {210--220},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523258},
doi = {10.1109/LICS.1995.523258},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GayN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/Gay94,
author = {Simon J. Gay},
editor = {Chris Hankin and
Ian Mackie and
Rajagopal Nagarajan},
title = {Combinators for Interaction Nets},
booktitle = {Proceedings for the Second Imperial College Department of Computing
Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge,
UK, 11-14 September 1994},
pages = {63--84},
publisher = {Imperial College Press},
year = {1994},
timestamp = {Wed, 20 Jun 2018 17:55:12 +0200},
biburl = {https://dblp.org/rec/conf/imperial/Gay94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/CroleGN94,
author = {Roy L. Crole and
Simon J. Gay and
Rajagopal Nagarajan},
editor = {Chris Hankin and
Ian Mackie and
Rajagopal Nagarajan},
title = {An Internal Language for Interaction Categories},
booktitle = {Proceedings for the Second Imperial College Department of Computing
Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge,
UK, 11-14 September 1994},
pages = {85--104},
publisher = {Imperial College Press},
year = {1994},
timestamp = {Mon, 08 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imperial/CroleGN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/GayN93,
author = {Simon J. Gay and
Rajagopal Nagarajan},
editor = {Geoffrey Livingston Burn and
Simon J. Gay and
Mark Ryan},
title = {Modelling {SIGNAL} in Interaction Categories},
booktitle = {Theory and Formal Methods 1993, Proceedings of the First Imperial
College Department of Computing Workshop on Theory and Formal Methods,
Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31
March 1993},
series = {Workshops in Computing},
pages = {148--158},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 31 Oct 2022 11:04:42 +0100},
biburl = {https://dblp.org/rec/conf/imperial/GayN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Gay93,
author = {Simon J. Gay},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {A Sort Inference Algorithm for the Polyadic Pi-Calculus},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {429--438},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158701},
doi = {10.1145/158511.158701},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Gay93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imperial/1993,
editor = {Geoffrey Livingston Burn and
Simon J. Gay and
Mark Ryan},
title = {Theory and Formal Methods 1993, Proceedings of the First Imperial
College Department of Computing Workshop on Theory and Formal Methods,
Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31
March 1993},
series = {Workshops in Computing},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3503-6},
doi = {10.1007/978-1-4471-3503-6},
isbn = {3-540-19842-3},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imperial/1993.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.
last updated on 2024-08-29 21:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
