%I IEEE Computer Society
%B Proceedings of the 2nd International Conference on Distributed Computing Systems (ICDCS 1981)
%D 1981
%L eprints396
%P 513-522
%T Communication Through Message Passing or Shared Memory: A Formal Comparison
%A Rocco De Nicola
%A Alberto Matelli
%A Ugo Montanari