Alceste Scalas

Lecturer, Engineering & Applied Science
Lecturer, Computer Science

https://orcid.org/0000-0002-1153-6164

Phone+44 121 204 4760

Computer ScienceSchool of Engineering and Applied Science, Aston University
B4 7ET Birmingham
United Kingdom
Aston University Main Building, room MB214D

Research activity per year

If you made any changes in Pure these will be visible here soon.

9 Article
7 Conference publication
3 Conference article
1 Chapter

9 results

Filter

2021
Precise subtyping for asynchronous multiparty sessions
Ghilezan, S., Pantović, J., Prokić, I., Scalas, A. & Yoshida, N., 4 Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, p. 1-28 28 p., 16.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2019
Less is more: multiparty session types revisited
Scalas, A. & Yoshida, N., 2 Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, 29 p., 30.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Precise subtyping for synchronous multiparty sessions
Ghilezan, S., Jakšić, S., Pantović, J., Scalas, A. & Yoshida, N., Apr 2019, In: Journal of Logical and Algebraic Methods in Programming. 104, p. 127-173 47 p.
Research output: Contribution to journal › Article › peer-review
2018
Multiparty session types, beyond duality
Scalas, A. & Yoshida, N., Jun 2018, In: Journal of Logical and Algebraic Methods in Programming. 97, p. 55-84 30 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2017
On the preciseness of subtyping in session types
Chen, T. C., Dezani-Ciancaglini, M., Scalas, A. & Yoshida, N., 30 Jun 2017, In: Logical Methods in Computer Science. 13, 2, 12.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Verifiable abstractions for contract-oriented systems
Bartoletti, M., Murgia, M., Scalas, A. & Zunino, R., 1 Jan 2017, In: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 159-207 49 p.
Research output: Contribution to journal › Article › peer-review
2016
Honesty by typing
Bartoletti, M., Scalas, A., Tuosto, E., Zunino, R. & Silva, A. (ed.), 28 Dec 2016, In: Logical Methods in Computer Science. 12, 4:7, p. 1-58
Research output: Contribution to journal › Article › peer-review

Open Access
File
2015

Choreographies in the wild
Bartoletti, M., Lange, J., Scalas, A. & Zunino, R., 1 Jan 2015, In: Science of Computer Programming. 109, p. 36-60 25 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2014
Modelling and verifying contract-oriented systems in Maude
Bartoletti, M., Murgia, M., Scalas, A. & Zunino, R., 16 Nov 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663, p. 130-146 17 p.
Research output: Contribution to journal › Article › peer-review

Search results