CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 97
Titolo Autore(i) Anno Periodico Editore Tipo File
On the Representation of McCarthy's amb in the pi-calculus A. Carayol; D. Hirschkoff; D.Sangiorgi 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Bisimulation: From The Origins to Today D. Sangiorgi 2004-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
On asynchrony in name-passing calculi SANGIORGI D.; MERRO M. 2004-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
Towards an Algebraic Theory of Typed Mobile Processes Y. Deng; D. Sangiorgi 2004-01-01 - Springer 4.01 Contributo in Atti di convegno -
Types in concurrency R. De Nicola; D. Sangiorgi 2005-01-01 ACTA INFORMATICA - 1.01 Articolo in rivista -
Trustworthy Global Computing, International Symposium, LNCS 3705 R. De Nicola; D. Sangiorgi 2005-01-01 - Springer 3.02 Curatela -
Ensuring Termination by Typability Y. Deng; D. Sangiorgi 2005-01-01 - Kluwer 4.01 Contributo in Atti di convegno -
On the representation of McCarthy's amb in the Pi-calculus A. Carayol; D. Hirschkoff; D. Sangiorgi 2005-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
A Correct Abstract Machine for Safe Ambients. D. Hirschkoff; D. Pous; D. Sangiorgi 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
The Bisimulation Proof Method: Enhancements and Open Problems D. Sangiorgi 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
Beyond Bisimulation: The "up-to" Techniques D. Sangiorgi 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
Towards a Calculus For Wireless Systems N. Mezzetti; D. Sangiorgi 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Ensuring termination by typability Y. Deng; D. Sangiorgi 2006-01-01 INFORMATION AND COMPUTATION - 1.01 Articolo in rivista -
Bisimulation and Co-induction: Some Problems D. Sangiorgi 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Towards an algebraic theory of typed mobile processes Y. Deng; D. Sangiorgi 2006-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
On the Expressiveness of the Ambient Logic D. Hirschkoff; E. Lozes; D. Sangiorgi 2006-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
SCC: a Service Centered Calculus M. Boreale; R. Bruni;
L. Caires; R. De Nicola; I. Lanese; M. Loreti;
F. Martins;
U. Montana...ri; A. Ravara;
D. Sangiorgi; V. Vasconcelos; G. Zavattaro; 		2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
Safe Ambients: Abstract machine and distributed implementation P. Giannini; D. Sangiorgi; A. Valente 2006-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista -
Termination of processes Sangiorgi D. 2006-01-01 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
Logical Bisimulations and Functional Languages D. Sangiorgi; N. Kobayashi; E. Sumii 2007-01-01 - Springer 4.01 Contributo in Atti di convegno -
Mostrati risultati da 1 a 20 di 97
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile