Structure Process for a Cooperative Approach to Fault-Tolerant Distributed Software. - Fabrizio Baiardi; Laura Ricci; A. Tomasi; Marco Vanneschi (Symposium on Reliability in Distributed Software and Database Systems, 1984)

Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination. - Fabrizio Baiardi; Alessandro Fantechi; A. Tomasi; Marco Vanneschi (J. Parallel Distributed Comput., 1987)