关注
Alceste Scalas
Alceste Scalas
Associate Professor in Computer Science, DTU Compute, Technical University of Denmark
在 dtu.dk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Less is more: multiparty session types revisited
A Scalas, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
1252019
Lightweight session programming in scala
A Scalas, N Yoshida
Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 56, 21, 2016
1072016
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
982017
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
792014
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
472019
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
352023
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
282013
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
212021
Generalised multiparty session types with crash-stop failures
AD Barwell, A Scalas, N Yoshida, F Zhou
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022
202022
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
192019
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
Logical Methods in Computer Science 12, 2017
192017
Choreography synthesis as contract agreement
J Lange, A Scalas
arXiv preprint arXiv:1310.4573, 2013
142013
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
132021
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
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 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
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
系统目前无法执行此操作,请稍后再试。
文章 1–20