De Nicola, Rocco and Matelli, Alberto and Montanari, Ugo Communication Through Message Passing or Shared Memory: A Formal Comparison. In: Proceedings of the 2nd International Conference on Distributed Computing Systems (ICDCS 1981). IEEE Computer Society, pp. 513-522. (1981)