default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alceste Scalas
@article{DBLP:journals/darts/HallerHMST24,
author = {Philipp Haller and
Ayman Hussein and
Hern{\'{a}}n C. Melgratti and
Alceste Scalas and
Emilio Tuosto},
title = {Fair Join Pattern Matching for Actors (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {8:1--8:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.8},
doi = {10.4230/DARTS.10.2.8},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HallerHMST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BogoBS24,
author = {Benjamin Bog{\o} and
Andrea Burattin and
Alceste Scalas},
editor = {Ilaria Castellani and
Francesco Tiezzi},
title = {Encoding Petri Nets into {CCS}},
booktitle = {Coordination Models and Languages - 26th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2024, Held as Part of the 19th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14676},
pages = {38--55},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-62697-5\_3},
doi = {10.1007/978-3-031-62697-5\_3},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BogoBS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BurloFST24,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Emilio Tuosto},
editor = {Ilaria Castellani and
Francesco Tiezzi},
title = {{COTS:} Connected OpenAPI Test Synthesis for RESTful Applications},
booktitle = {Coordination Models and Languages - 26th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2024, Held as Part of the 19th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14676},
pages = {75--92},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-62697-5\_5},
doi = {10.1007/978-3-031-62697-5\_5},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BurloFST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CarboneCFGJMPSTVYZ24,
author = {Marco Carbone and
David Castro{-}Perez and
Francisco Ferreira and
Lorenzo Gheri and
Frederik Krogsdal Jacobsen and
Alberto Momigliano and
Luca Padovani and
Alceste Scalas and
Dawit Legesse Tirore and
Martin Vassor and
Nobuko Yoshida and
Daniel Zackon},
editor = {Ilaria Castellani and
Francesco Tiezzi},
title = {The Concurrent Calculi Formalisation Benchmark},
booktitle = {Coordination Models and Languages - 26th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2024, Held as Part of the 19th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14676},
pages = {149--158},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-62697-5\_9},
doi = {10.1007/978-3-031-62697-5\_9},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CarboneCFGJMPSTVYZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/HallerHMST24,
author = {Philipp Haller and
Ayman Hussein and
Hern{\'{a}}n C. Melgratti and
Alceste Scalas and
Emilio Tuosto},
editor = {Jonathan Aldrich and
Guido Salvaneschi},
title = {Fair Join Pattern Matching for Actors},
booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024,
September 16-20, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {313},
pages = {17:1--17:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.17},
doi = {10.4230/LIPICS.ECOOP.2024.17},
timestamp = {Thu, 12 Sep 2024 13:29:32 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/HallerHMST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-05479,
author = {Simon Fowler and
Philipp Haller and
Roland Kuhn and
Sam Lindley and
Alceste Scalas and
Vasco T. Vasconcelos},
editor = {Diana Costa and
Raymond Hu},
title = {Behavioural Types for Heterogeneous Systems (Position Paper)},
booktitle = {Proceedings 15th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, PLACES@ETAPS 2024, Luxembourg
City, Luxembourg, 6th April 2024},
series = {{EPTCS}},
volume = {401},
pages = {37--48},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.401.4},
doi = {10.4204/EPTCS.401.4},
timestamp = {Wed, 12 Jun 2024 17:01:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-05479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-14385,
author = {Benjamin Bog{\o} and
Andrea Burattin and
Alceste Scalas},
title = {Encoding Petri Nets into {CCS} (Technical Report)},
journal = {CoRR},
volume = {abs/2404.14385},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.14385},
doi = {10.48550/ARXIV.2404.14385},
eprinttype = {arXiv},
eprint = {2404.14385},
timestamp = {Sat, 25 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-19614,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Emilio Tuosto},
title = {{COTS:} Connected OpenAPI Test Synthesis for RESTful Applications},
journal = {CoRR},
volume = {abs/2404.19614},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.19614},
doi = {10.48550/ARXIV.2404.19614},
eprinttype = {arXiv},
eprint = {2404.19614},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-19614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LarsenGHS23,
author = {Jens Kanstrup Larsen and
Roberto Guanciale and
Philipp Haller and
Alceste Scalas},
title = {P4R-Type: {A} Verified {API} for {P4} Control Plane Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1935--1963},
year = {2023},
url = {https://doi.org/10.1145/3622866},
doi = {10.1145/3622866},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LarsenGHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GhilezanPPSY23,
author = {Silvia Ghilezan and
Jovanka Pantovic and
Ivan Prokic and
Alceste Scalas and
Nobuko Yoshida},
title = {Precise Subtyping for Asynchronous Multiparty Sessions},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {2},
pages = {14:1--14:73},
year = {2023},
url = {https://doi.org/10.1145/3568422},
doi = {10.1145/3568422},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/GhilezanPPSY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2304-05439,
editor = {Ilaria Castellani and
Alceste Scalas},
title = {Proceedings 14th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France,
22 April 2023},
series = {{EPTCS}},
volume = {378},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.378},
doi = {10.4204/EPTCS.378},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-05439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-03566,
author = {Jens Kanstrup Larsen and
Roberto Guanciale and
Philipp Haller and
Alceste Scalas},
title = {P4R-Type: a Verified {API} for {P4} Control Plane Programs (Technical
Report)},
journal = {CoRR},
volume = {abs/2309.03566},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.03566},
doi = {10.48550/ARXIV.2309.03566},
eprinttype = {arXiv},
eprint = {2309.03566},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-03566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BurloFSTT22,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Catia Trubiani and
Emilio Tuosto},
title = {PSTMonitor: Monitor synthesis from probabilistic session types},
journal = {Sci. Comput. Program.},
volume = {222},
pages = {102847},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102847},
doi = {10.1016/J.SCICO.2022.102847},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BurloFSTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BarwellSY022,
author = {Adam D. Barwell and
Alceste Scalas and
Nobuko Yoshida and
Fangyi Zhou},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Generalised Multiparty Session Types with Crash-Stop Failures},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {35:1--35:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.35},
doi = {10.4230/LIPICS.CONCUR.2022.35},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BarwellSY022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2208-04086,
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Larisa Safina and
Alceste Scalas},
title = {Proceedings 15th Interaction and Concurrency Experience, {ICE} 2022,
Lucca, Italy, 17th June 2022},
series = {{EPTCS}},
volume = {365},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.365},
doi = {10.4204/EPTCS.365},
timestamp = {Sat, 15 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-04086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02015,
author = {Adam D. Barwell and
Alceste Scalas and
Nobuko Yoshida and
Fangyi Zhou},
title = {Generalised Multiparty Session Types with Crash-Stop Failures (Technical
Report)},
journal = {CoRR},
volume = {abs/2207.02015},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02015},
doi = {10.48550/ARXIV.2207.02015},
eprinttype = {arXiv},
eprint = {2207.02015},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-07329,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Catia Trubiani and
Emilio Tuosto},
title = {PSTMonitor: Monitor Synthesis from Probabilistic Session Types},
journal = {CoRR},
volume = {abs/2212.07329},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.07329},
doi = {10.48550/ARXIV.2212.07329},
eprinttype = {arXiv},
eprint = {2212.07329},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BurloFS21,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas},
title = {On the Monitorability of Session Types, in Theory and Practice (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {02:1--02:3},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.2},
doi = {10.4230/DARTS.7.2.2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/BurloFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GhilezanPPSY21,
author = {Silvia Ghilezan and
Jovanka Pantovic and
Ivan Prokic and
Alceste Scalas and
Nobuko Yoshida},
title = {Precise subtyping for asynchronous multiparty sessions},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3434297},
doi = {10.1145/3434297},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/GhilezanPPSY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BurloFSTT21,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Catia Trubiani and
Emilio Tuosto},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {Towards Probabilistic Session-Type Monitoring},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {106--120},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_7},
doi = {10.1007/978-3-030-78142-2\_7},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BurloFSTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BurloFS21,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {On the Monitorability of Session Types, in Theory and Practice},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {20:1--20:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.20},
doi = {10.4230/LIPICS.ECOOP.2021.20},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BurloFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiBLSZ21,
author = {Massimo Bartoletti and
Andrea Bracciali and
Cristian Lepore and
Alceste Scalas and
Roberto Zunino},
editor = {Nikita Borisov and
Claudia D{\'{\i}}az},
title = {A Formal Model of Algorand Smart Contracts},
booktitle = {Financial Cryptography and Data Security - 25th International Conference,
{FC} 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12674},
pages = {93--114},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-64322-8\_5},
doi = {10.1007/978-3-662-64322-8\_5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fc/BartolettiBLSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-14908,
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Proceedings 14th Interaction and Concurrency Experience, {ICE} 2021,
Online, 18th June 2021},
series = {{EPTCS}},
volume = {347},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.347},
doi = {10.4204/EPTCS.347},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-14908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06291,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas},
title = {On the Monitorability of Session Types, in Theory and Practice (Extended
Version)},
journal = {CoRR},
volume = {abs/2105.06291},
year = {2021},
url = {https://arxiv.org/abs/2105.06291},
eprinttype = {arXiv},
eprint = {2105.06291},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08729,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas and
Catia Trubiani and
Emilio Tuosto},
title = {Towards Probabilistic Session-Type Monitoring},
journal = {CoRR},
volume = {abs/2107.08729},
year = {2021},
url = {https://arxiv.org/abs/2107.08729},
eprinttype = {arXiv},
eprint = {2107.08729},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DezaniKLS21,
author = {Mariangiola Dezani and
Roland Kuhn and
Sam Lindley and
Alceste Scalas},
title = {Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar
21372)},
journal = {Dagstuhl Reports},
volume = {11},
number = {8},
pages = {52--75},
year = {2021},
url = {https://doi.org/10.4230/DagRep.11.8.52},
doi = {10.4230/DAGREP.11.8.52},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DezaniKLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BurloFS20,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas},
editor = {Alexey Gotsman and
Ana Sokolova},
title = {Towards a Hybrid Verification Methodology for Communication Protocols
(Short Paper)},
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 = {227--235},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50086-3\_13},
doi = {10.1007/978-3-030-50086-3\_13},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BurloFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-07628,
editor = {Julien Lange and
Anastasia Mavridou and
Larisa Safina and
Alceste Scalas},
title = {Proceedings 13th Interaction and Concurrency Experience, {ICE} 2020,
Online, 19 June 2020},
series = {{EPTCS}},
volume = {324},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.324},
doi = {10.4204/EPTCS.324},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07628.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-12140,
author = {Massimo Bartoletti and
Andrea Bracciali and
Cristian Lepore and
Alceste Scalas and
Roberto Zunino},
title = {A formal model of Algorand smart contracts},
journal = {CoRR},
volume = {abs/2009.12140},
year = {2020},
url = {https://arxiv.org/abs/2009.12140},
eprinttype = {arXiv},
eprint = {2009.12140},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-12140.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-13925,
author = {Silvia Ghilezan and
Jovanka Pantovic and
Ivan Prokic and
Alceste Scalas and
Nobuko Yoshida},
title = {Precise Subtyping for Asynchronous Multiparty Sessions},
journal = {CoRR},
volume = {abs/2010.13925},
year = {2020},
url = {https://arxiv.org/abs/2010.13925},
eprinttype = {arXiv},
eprint = {2010.13925},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-13925.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GhilezanJPSY19,
author = {Silvia Ghilezan and
Svetlana Jaksic and
Jovanka Pantovic and
Alceste Scalas and
Nobuko Yoshida},
title = {Precise subtyping for synchronous multiparty sessions},
journal = {J. Log. Algebraic Methods Program.},
volume = {104},
pages = {127--173},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.12.002},
doi = {10.1016/J.JLAMP.2018.12.002},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/GhilezanJPSY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ScalasY19,
author = {Alceste Scalas and
Nobuko Yoshida},
title = {Less is more: multiparty session types revisited},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {30:1--30:29},
year = {2019},
url = {https://doi.org/10.1145/3290343},
doi = {10.1145/3290343},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ScalasY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ScalasYB19,
author = {Alceste Scalas and
Nobuko Yoshida and
Elias Benussi},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Verifying message-passing programs with dependent behavioural types},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {502--516},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3322484},
doi = {10.1145/3314221.3322484},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ScalasYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/ScalasYB19,
author = {Alceste Scalas and
Nobuko Yoshida and
Elias Benussi},
editor = {Jonathan Immanuel Brachth{\"{a}}user and
Sukyoung Ryu and
Nathaniel Nystrom},
title = {Effpi: verified message-passing programs in Dotty},
booktitle = {Proceedings of the Tenth {ACM} {SIGPLAN} Symposium on Scala, Scala@ECOOP
2019, London, UK, July 17, 2019},
pages = {27--31},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3337932.3338812},
doi = {10.1145/3337932.3338812},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/ScalasYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1909-05242,
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304},
doi = {10.4204/EPTCS.304},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ScalasY18,
author = {Alceste Scalas and
Nobuko Yoshida},
title = {Multiparty session types, beyond duality},
journal = {J. Log. Algebraic Methods Program.},
volume = {97},
pages = {55--84},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.01.001},
doi = {10.1016/J.JLAMP.2018.01.001},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/ScalasY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ScalasDHY17,
author = {Alceste Scalas and
Ornela Dardha and
Raymond Hu and
Nobuko Yoshida},
title = {A Linear Decomposition of Multiparty Sessions for Safe Distributed
Programming (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {03:1--03:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.3},
doi = {10.4230/DARTS.3.2.3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/ScalasDHY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiMSZ17,
author = {Massimo Bartoletti and
Maurizio Murgia and
Alceste Scalas and
Roberto Zunino},
title = {Verifiable abstractions for contract-oriented systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {159--207},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2015.10.005},
doi = {10.1016/J.JLAMP.2015.10.005},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BartolettiMSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ChenDSY17,
author = {Tzu{-}Chun Chen and
Mariangiola Dezani{-}Ciancaglini and
Alceste Scalas and
Nobuko Yoshida},
title = {On the Preciseness of Subtyping in Session Types},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {2},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(2:12)2017},
doi = {10.23638/LMCS-13(2:12)2017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ChenDSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ScalasDHY17,
author = {Alceste Scalas and
Ornela Dardha and
Raymond Hu and
Nobuko Yoshida},
editor = {Peter M{\"{u}}ller},
title = {A Linear Decomposition of Multiparty Sessions for Safe Distributed
Programming},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {24:1--24:31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.24},
doi = {10.4230/LIPICS.ECOOP.2017.24},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ScalasDHY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ScalasY17,
author = {Alceste Scalas and
Nobuko Yoshida},
editor = {Vasco T. Vasconcelos and
Philipp Haller},
title = {Multiparty Session Types, Beyond Duality (Abstract)},
booktitle = {Proceedings Tenth Workshop on Programming Language Approaches to Concurrency-
and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden,
29th April 2017},
series = {{EPTCS}},
volume = {246},
pages = {37--38},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.246.7},
doi = {10.4204/EPTCS.246.7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ScalasY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-2609,
author = {Massimo Bartoletti and
Alceste Scalas and
Emilio Tuosto and
Roberto Zunino},
title = {Honesty by Typing},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {4},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(4:7)2016},
doi = {10.2168/LMCS-12(4:7)2016},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-2609.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ScalasY16,
author = {Alceste Scalas and
Nobuko Yoshida},
title = {Lightweight Session Programming in Scala (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {11:1--11:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.11},
doi = {10.4230/DARTS.2.1.11},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ScalasY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ScalasY16,
author = {Alceste Scalas and
Nobuko Yoshida},
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
title = {Lightweight Session Programming in Scala},
booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
series = {LIPIcs},
volume = {56},
pages = {21:1--21:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.21},
doi = {10.4230/LIPICS.ECOOP.2016.21},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ScalasY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenDSY16,
author = {Tzu{-}Chun Chen and
Mariangiola Dezani{-}Ciancaglini and
Alceste Scalas and
Nobuko Yoshida},
title = {On the Preciseness of Subtyping in Session Types},
journal = {CoRR},
volume = {abs/1610.00328},
year = {2016},
url = {http://arxiv.org/abs/1610.00328},
eprinttype = {arXiv},
eprint = {1610.00328},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenDSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BartolettiLSZ15,
author = {Massimo Bartoletti and
Julien Lange and
Alceste Scalas and
Roberto Zunino},
title = {Choreographies in the wild},
journal = {Sci. Comput. Program.},
volume = {109},
pages = {36--60},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.11.015},
doi = {10.1016/J.SCICO.2014.11.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BartolettiLSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ScalasB15,
author = {Alceste Scalas and
Massimo Bartoletti},
editor = {Sophia Knight and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Hugo Torres Vieira},
title = {The {LTS} WorkBench},
booktitle = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
Grenoble, France, 4-5th June 2015},
series = {{EPTCS}},
volume = {189},
pages = {86--98},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.189.8},
doi = {10.4204/EPTCS.189.8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ScalasB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BartolettiSZ14,
author = {Massimo Bartoletti and
Alceste Scalas and
Roberto Zunino},
editor = {Paolo Baldan and
Daniele Gorla},
title = {A Semantic Deconstruction of Session Types},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {402--418},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_28},
doi = {10.1007/978-3-662-44584-6\_28},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BartolettiSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BartolettiMSZ14,
author = {Massimo Bartoletti and
Maurizio Murgia and
Alceste Scalas and
Roberto Zunino},
editor = {Santiago Escobar},
title = {Modelling and Verifying Contract-Oriented Systems in Maude},
booktitle = {Rewriting Logic and Its Applications - 10th International Workshop,
{WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8663},
pages = {130--146},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12904-4\_7},
doi = {10.1007/978-3-319-12904-4\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BartolettiMSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BartolettiSTZ13,
author = {Massimo Bartoletti and
Alceste Scalas and
Emilio Tuosto and
Roberto Zunino},
editor = {Dirk Beyer and
Michele Boreale},
title = {Honesty by Typing},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {305--320},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_21},
doi = {10.1007/978-3-642-38592-6\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BartolettiSTZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LangeS13,
author = {Julien Lange and
Alceste Scalas},
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {Choreography Synthesis as Contract Agreement},
booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
pages = {52--67},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131.6},
doi = {10.4204/EPTCS.131.6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LangeS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/ScalasCP08,
author = {Alceste Scalas and
Giovanni Casu and
Piero Pili},
editor = {Soon Tee Teoh and
Zolt{\'{a}}n Horv{\'{a}}th},
title = {High-performance technical computing with erlang},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} workshop on ERLANG, Victoria,
BC, Canada, September 27, 2008},
pages = {49--60},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411273.1411281},
doi = {10.1145/1411273.1411281},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/ScalasCP08.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-09-14 01:12 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:
