SANGIORGI, DAVIDE

SANGIORGI, DAVIDE  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 94 (tempo di esecuzione: 0.042 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 Correct Abstract Machine for Safe Ambients. D. Hirschkoff; D. Pous; D. Sangiorgi 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Hybrid Type System for Lock-Freedom of Mobile Processes N. Kobayashi; D. Sangiorgi 2008-01-01 - Springer 4.01 Contributo in Atti di convegno -
A hybrid type system for lock-freedom of mobile processes N. Kobayashi; D. Sangiorgi 2010-01-01 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - 1.01 Articolo in rivista -
A Model of Evolvable Components F.Montesi; D. Sangiorgi 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -
Advanced Topics in Bisimulation and Coinduction Davide Sangiorgi;Jan Rutten 2012-01-01 - CAMBRIDGE UNIVERSITY PRESS 3.02 Curatela -
An efficient abstract machine for Safe Ambients D. Hirschkoff; D. Pous; D. Sangiorgi 2007-01-01 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING - 1.01 Articolo in rivista -
An Object Group-Based Component Model Michaël Lienhardt;Mario Bravetti;Davide Sangiorgi 2012-01-01 - Springer 4.01 Contributo in Atti di convegno -
An operational semantics for a calculus for wireless systems I. Lanese; D. Sangiorgi 2010-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Asynchronous π -calculus at Work: The Call-by-Need Strategy Sangiorgi D. 2019-01-01 - Springer 4.01 Contributo in Atti di convegno main.pdf
Beyond Bisimulation: The "up-to" Techniques D. Sangiorgi 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
Bisimilarity via unique-solution techniques Sangiorgi, Davide* 2018-01-01 CEUR WORKSHOP PROCEEDINGS CEUR-WS 4.01 Contributo in Atti di convegno CEURinvited2.pdf
Bisimulation and Co-induction: Some Problems D. Sangiorgi 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Bisimulation and Coinduction Enhancements: A Historical Perspective Pous D.; Sangiorgi D. 2019-01-01 FORMAL ASPECTS OF COMPUTING - 1.01 Articolo in rivista finalDS.pdf
Bisimulation: From The Origins to Today D. Sangiorgi 2004-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
Bisimulations up-to: Beyond first-order transition systems Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide 2014-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi Baeten, Jos C.M.; Sangiorgi, Davide 2014-01-01 - Elsevier 2.01 Capitolo / saggio in libro -
Concurrency theory: timed automata, testing, program synthesis Davide Sangiorgi 2012-01-01 DISTRIBUTED COMPUTING - 1.06 Abstract in rivista -
Divergence and unique solution of equations Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 2017-01-01 - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 4.01 Contributo in Atti di convegno LIPIcs-CONCUR-2017-11.pdf
DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS Durier, A; Hirschkoff, D; Sangiorgi, D 2019-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista 1806.11354.pdf