BRAVETTI, MARIO

BRAVETTI, MARIO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 91 (tempo di esecuzione: 0.04 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A Component Model for the ABS Language M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetz...sch-Heffter 2012-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Formal Approach to Microservice Architecture Deployment Mario Bravetti and
Saverio Giallorenzo and
Jacopo Mauro and
Iacopo Talevi and
Gianluigi Zavat...
taro
2020-01-01 - Springer 2.01 Capitolo / saggio in libro main.pdf
A Foundational Theory of Contracts for Multi-party Service Composition M. Bravetti; G. Zavattaro 2008-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
A Generic Process Algebra J.C.M. Baeten; M. Bravetti 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Elsevier 4.01 Contributo in Atti di convegno -
A ground-complete axiomatisation of finite-state processes in a generic process algebra J.C.M. Baeten; M. Bravetti 2008-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra M. Bravetti; J. Baeten 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Java typestate checker supporting inheritance Bacchiani L.; Bravetti M.; Giunti M.; Mota J.; Ravara A. 2022-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista 1-s2.0-S0167642322000776-main.pdf
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures Frank S. Boer;Mario Bravetti;Immo Grabe;Matias Lee;Martin Steffen;Gianluigi Zavattaro 2013-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Petri Net Based Modeling of Active Objects and Futures de Boer, Frank S.; Mario, Bravetti; Lee, Matias D.; Gianluigi, Zavattaro 2018-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference A.Aldini; M.Bravetti; R.Gorrieri 2004-01-01 JOURNAL OF COMPUTER SECURITY - 1.01 Articolo in rivista -
A Session Subtyping Tool Bacchiani L.; Bravetti M.; Lange J.; Zavattaro G. 2021-01-01 - Springer 4.01 Contributo in Atti di convegno main.pdf
A Sound Algorithm for Asynchronous Session Subtyping Bravetti, Mario and Carbone, Marco and Lange, Julien and
Yoshida, Nobuko and Zavattaro, Gianluigi
2019-01-01 - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 4.01 Contributo in Atti di convegno preview.pdf
A sound algorithm for asynchronous session subtyping and its implementation Bravetti M.; Carbone M.; Lange J.; Yoshida N.; Zavattaro G. 2021-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista 1907.00421v5.pdf
A Theory for Strong Service Compliance M.Bravetti; G.Zavattaro 2007-01-01 - Springer 4.01 Contributo in Atti di convegno -
A theory of contracts for strong service compliance M. Bravetti; G. Zavattaro 2009-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
Adaptable processes M. Bravetti;C. D. Giusto;J. A. Perez;G. Zavattaro 2012-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
Adaptable Processes (Extended Abstract) M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro 2011-01-01 - Springer 4.01 Contributo in Atti di convegno -
Advanced Mechanisms for Service Composition, Query and Discovery M. Boreale; M. Bravetti 2011-01-01 - Springer 2.01 Capitolo / saggio in libro -
Algebraic Process Calculi: The First Twenty Five Years and Beyond L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon 2007-01-01 - Elsevier 3.02 Curatela -
Algebraic Process Calculi: The First Twenty Five Years and Beyond II L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon 2007-01-01 - Elsevier 3.02 Curatela -