Models of Computation: A Tribute to Ugo Montanari's Vision

  • Authors:

  • Roberto Bruni;Vladimiro Sassone

  • Affiliations:

  • Dipartimento di Informatica, Università di Pisa, Italia;ECS, University of Southampton, UK

  • Venue:
  • Concurrency, Graphs and Models
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Ugo's research activity in the area ofModels of Computation (MoC, for short) has been prominent, influential and broadly scoped. Ugo's trademark is that undefinable ability to understand and distill computational aspects into new models as if you were reading them out of some evident connection between well-know models: only, most often, that connection is really visible only after Ugo shows the way. Like experienced sailors have trusted compasses and sextants to help them find the best routes to harbour, Ugo relies on a bag of favourite tools which he has used along the years to deliver a variety of contributions to the MoC area. To mention just three (in alphabetic order): algebraic techniques, concurrency theory, and unification mechanisms.In this introductory contribution we would like to recall some of the influentialMoC models put forward by Ugo which cut across the three approaches. Before doing that, it is worth devoting some space to discuss the three aspects separately. Notably, the use of category theory is a pervasive common trait.