Artículos con órdenes de acceso público - Emilio TuostoMás información
No disponibles en ningún lugar: 2
Pomcho: A tool chain for choreographic design
R Guanciale, E Tuosto
Science of Computer Programming 202, 102535, 2021
Órdenes: European Commission, Government of Italy
On testing message-passing components
A Coto, R Guanciale, E Tuosto
International Symposium on Leveraging Applications of Formal Methods, 22-38, 2020
Órdenes: European Commission, Government of Italy
Disponibles en algún lugar: 39
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
From communicating machines to graphical choreographies
J Lange, E Tuosto, N Yoshida
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
Órdenes: UK Engineering and Physical Sciences Research Council, European Commission
Choreography automata
F Barbanera, I Lanese, E Tuosto
International Conference on Coordination Languages and Models, 86-106, 2020
Órdenes: European Commission, Government of Italy
Composition and decomposition of multiparty sessions
F Barbanera, M Dezani-Ciancaglini, I Lanese, E Tuosto
Journal of Logical and Algebraic Methods in Programming 119, 100620, 2021
Órdenes: European Commission, Government of Italy
Relating two automata-based models of orchestration and choreography
D Basile, P Degano, GL Ferrari, E Tuosto
Journal of logical and algebraic methods in programming 85 (3), 425-446, 2016
Órdenes: European Commission, Government of Italy
Resolving non-determinism in choreographies
L Bocchi, H Melgratti, E Tuosto
European Symposium on Programming Languages and Systems, 493-512, 2014
Órdenes: UK Engineering and Physical Sciences Research Council, European Commission …
Realisability of pomsets
R Guanciale, E Tuosto
Journal of Logical and Algebraic Methods in Programming 108, 69-89, 2019
Órdenes: European Commission
Reversible choreographies via monitoring in erlang
A Francalanza, CA Mezzina, E Tuosto
Distributed Applications and Interoperable Systems: 18th IFIP WG 6.1 …, 2018
Órdenes: European Commission
Composing communicating systems, synchronously
F Barbanera, I Lanese, E Tuosto
International Symposium on Leveraging Applications of Formal Methods, 39-59, 2020
Órdenes: European Commission, Government of Italy
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
Logical Methods in Computer Science 12, 2017
Órdenes: UK Engineering and Physical Sciences Research Council
Design-by-contract for flexible multiparty session protocols
L Gheri, I Lanese, N Sayers, E Tuosto, N Yoshida
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022
Órdenes: UK Engineering and Physical Sciences Research Council, European Commission …
Corinne, a tool for choreography automata
S Orlando, VD Pasquale, F Barbanera, I Lanese, E Tuosto
International Conference on Formal Aspects of Component Software, 82-92, 2021
Órdenes: European Commission, Government of Italy
A Prototype for Data Race Detection in CSeq 3: (Competition Contribution)
A Coto, O Inverso, E Sales, E Tuosto
International Conference on Tools and Algorithms for the Construction and …, 2022
Órdenes: Government of Italy
Towards choreographic-based monitoring
A Francalanza, CA Mezzina, E Tuosto
Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020
Órdenes: European Commission, Agence Nationale de la Recherche
On sessions and infinite data
P Severi, L Padovani, E Tuosto, M Dezani-Ciancaglini
Logical Methods in Computer Science 13, 2017
Órdenes: UK Engineering and Physical Sciences Research Council, European Commission
Formal choreographic languages
F Barbanera, I Lanese, E Tuosto
International Conference on Coordination Languages and Models, 121-139, 2022
Órdenes: European Commission, Government of Italy
An abstract framework for choreographic testing
A Coto, R Guanciale, E Tuosto
Journal of Logical and Algebraic Methods in Programming 123, 100712, 2021
Órdenes: European Commission, Government of Italy
Towards probabilistic session-type monitoring
C Bartolo Burlò, A Francalanza, A Scalas, C Trubiani, E Tuosto
International Conference on Coordination Languages and Models, 106-120, 2021
Órdenes: Icelandic Centre for Research, European Commission, Government of Italy
La información de publicación y financiación se determina de forma automática mediante un programa informático