@incollection{eprints396,
       booktitle = {Proceedings of the 2nd International Conference on Distributed Computing Systems (ICDCS 1981)},
           title = {Communication Through Message Passing or Shared Memory: A Formal Comparison},
            year = {1981},
       publisher = {IEEE Computer Society},
           pages = {513--522},
          author = {Rocco De Nicola and Alberto Matelli and Ugo Montanari},
             url = {http://eprints.imtlucca.it/396/}
}