BRAVETTI, MARIO

BRAVETTI, MARIO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 87 (tempo di esecuzione: 0.034 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 Foundational Theory of Contracts for Multi-party Service Composition M. Bravetti; G. Zavattaro 2008-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
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 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 -
Algebraic Process Calculi: The First Twenty Five Years and Beyond III L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon 2008-01-01 - Elsevier 3.02 Curatela -
An Object Group-Based Component Model Michaël Lienhardt;Mario Bravetti;Davide Sangiorgi 2012-01-01 - Springer 4.01 Contributo in Atti di convegno -
Analysis of temporal complex events in sensor networks Boubeta-Puig, Juan; Bravetti, Mario; Llana, Luis; Merayo, Mercedes G. 2017-01-01 JOURNAL OF INFORMATION AND TELECOMMUNICATION - 1.01 Articolo in rivista Analysis of temporal complex events in sensor networks.pdf
Asynchronous session subtyping as communicating automata refinement Bravetti M.; Zavattaro G. 2021-01-01 SOFTWARE AND SYSTEMS MODELING - 1.01 Articolo in rivista Bravetti-Zavattaro2021_Article_AsynchronousSessionSubtypingAs.pdf
Axiomatizing maximal progress and discrete time Bravetti M. 2021-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista 2001.08040.pdf
Behavioral Types in Programming Languages Yoshida, Nobuko; Vasconcelos, Vasco T.; Padovani, Luca; Bono, Nicholas Ng; Neykova, Rumyana; Mont...esi, Fabrizio; Mascardi, Viviana; Martins, Francisco; Johnsen, Einar Broch; Hu, Raymond; Giachino, Elena; Gesbert, Nils; Gay, Simon J.; Deniélou, Pierre-Malo; Castagna, Giuseppe; Campos, Joana; Bravetti, Mario; Bono, Viviana; Ancona, Davide 2016-01-01 FOUNDATIONS AND TRENDS® IN PROGRAMMING LANGUAGES - 1.01 Articolo in rivista BETTY_WG3_SOAR.pdf
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language Bravetti M.; Francalanza A.; Golovanov I.; Huttel H.; Jakobsen M.S.; Kettunen M.K.; Ravara A. 2020-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno APLAS2020.pdf
Choreographies and behavioural contracts on the way to dynamic updates Bravetti, M.; Zavattaro, G. 2014-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Combining Partitions in SecSpaces M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces M. Bravetti; D. Latella; M. Loreti; M. Massink; G. Zavattaro 2009-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
CONCUR 2009 - Concurrency theory M. Bravetti; G. Zavattaro 2009-01-01 - Springer 3.02 Curatela -