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

13 years 6 months ago

Download eprints.ecs.soton.ac.uk

e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented several key insights in software specification and development for the first time, like the separation between given sorts and newly specified ones, whereby the given sorts lay the ground to define the observable behaviour for the new sorts. Another key suggestion is that the specification of new data types is often partial --in the sense that it may include "don't care" cases-- and that many realisations can exist that exhibit equivalent observable behaviour but are not isomorphic. In fact, [43] shows that the isomorphism classes of observably equivalent algebras conforming to the partial specification form a complete lattice, yielding a so-called loose semantics. Possibly the best known of Ugo's papers, [52] exposes the underlyingmonoidal structure of the category of Petri net computations. Th...

Roberto Bruni, Vladimiro Sassone

Real-time Traffic