Davide Sangiorgi

Davide Sangiorgi

Davide Sangiorgi is professor of computer science at the University of Bologna. He is the chairman of IFIP Working Group 2.2 on the formal description of programming concepts.

Selected publications

  • Davide Sangiorgi, David Walker. The pi-calculus: a Theory of Mobile Processes. Cambridge University Press.

External links



Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the …   Wikipedia

  • Actor model and process calculi — In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor model and process calculi history.There are many similarities between the two approaches,… …   Wikipedia

  • Coinduction — codata redirects here. For the CODATA committee, see Committee on Data for Science and Technology. In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects. Coinduction is… …   Wikipedia

  • Pi-Kalkül — Dieser Artikel wurde aufgrund von inhaltlichen Mängeln auf der Qualitätssicherungsseite der Redaktion Informatik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Informatik auf ein akzeptables Niveau zu bringen. Hilf… …   Deutsch Wikipedia

  • Negramaro — Pays d’origine Italie Genre musical rock Années d activité Depuis 1999 Site officiel …   Wikipédia en Français

  • π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) …   Wikipedia

  • List of film directors from Italy — The following is a complete list of film directors from Italy. For a complete list of actors and actress, see: List of Italian actors and List of Italian actresses.*Alberto Abruzzese *Alessandro Pacciani *Franco Abussi *Giuseppe Accattino *Fulvio …   Wikipedia

  • Olympische Sommerspiele 2008/Teilnehmer (Italien) — ITA …   Deutsch Wikipedia

  • Facciamo finta che sia vero — Facciamo finta che sia vero …   Википедия

  • Rezophonic — is a musical project organized by Mario Riso, who is also co founder of Rock TV in Italy. The money gained will be devolved to the African Medical and Research Foundation (AMREF).MembersVoices*Olly (The Fire Shandon) *Cristina Scabbia (Lacuna… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”