10411 Ugo Montanari: Causal computing.
ACM Comp. Surv. 28 A December 1996, ...

10409 Ugo Montanari/Marco Pistore: Minimal transition systems
for history-preserving bisimulation. Internet ca. 1995, 13p.