Seguir
Alceste Scalas
Alceste Scalas
Associate Professor in Computer Science, DTU Compute, Technical University of Denmark
Email confirmado em dtu.dk - Página inicial
Título
Citado por
Citado por
Ano
Less is more: multiparty session types revisited
A Scalas, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
1182019
Lightweight session programming in scala
A Scalas, N Yoshida
Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 56, 21, 2016
1042016
A linear decomposition of multiparty sessions for safe distributed programming
A Scalas, O Dardha, R Hu, N Yoshida
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
952017
On the preciseness of subtyping in session types
TC Chen, M Dezani-Ciancaglini, N Yoshida
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
762014
Verifying message-passing programs with dependent behavioural types
A Scalas, N Yoshida, E Benussi
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
452019
Precise subtyping for synchronous multiparty sessions
S Ghilezan, S Jakšić, J Pantović, A Scalas, N Yoshida
Journal of Logical and Algebraic Methods in Programming 104, 127-173, 2019
422019
Precise subtyping for asynchronous multiparty sessions
S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida
ACM Transactions on Computational Logic 24 (2), 1-73, 2023
342023
A semantic deconstruction of session types
M Bartoletti, A Scalas, R Zunino
International Conference on Concurrency Theory, 402-418, 2014
302014
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
International Conference on Formal Methods for Open Object-Based Distributed …, 2013
272013
On the monitorability of session types, in theory and practice
C Bartolo Burlò, A Francalanza, A Scalas
Schloss Dagstuhl–Leibniz-Zentrum für Informatik GmbH, 2021
202021
Generalised multiparty session types with crash-stop failures
AD Barwell, A Scalas, N Yoshida, F Zhou
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022
192022
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
Logical Methods in Computer Science 12, 2017
182017
Effpi: verified message-passing programs in dotty
A Scalas, N Yoshida, E Benussi
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 27-31, 2019
172019
Choreography synthesis as contract agreement
J Lange, A Scalas
arXiv preprint arXiv:1310.4573, 2013
142013
Verifiable abstractions for contract-oriented systems
M Bartoletti, M Murgia, A Scalas, R Zunino
Journal of Logical and Algebraic Methods in Programming 86 (1), 159-207, 2017
132017
A linear decomposition of multiparty sessions for safe distributed programming (artifact)
A Scalas, O Dardha, R Hu, N Yoshida
DARTS-Dagstuhl Artifacts Series 3, 2017
132017
High-performance technical computing with erlang
A Scalas, G Casu, P Pili
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 49-60, 2008
132008
A formal model of Algorand smart contracts
M Bartoletti, A Bracciali, C Lepore, A Scalas, R Zunino
Financial Cryptography and Data Security: 25th International Conference, FC …, 2021
122021
Choreographies in the wild
M Bartoletti, J Lange, A Scalas, R Zunino
Science of Computer Programming 109, 36-60, 2015
122015
Modelling and verifying contract-oriented systems in Maude
M Bartoletti, M Murgia, A Scalas, R Zunino
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014 …, 2014
112014
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20