Towards systolizing compilation Christian LengauerMichael BarnettDuncan G. Hudson OriginalPaper Pages: 7 - 24
P — A logic — a compositional proof system for distributed programs Partosh K. PandyaMathai Joseph OriginalPaper Pages: 37 - 54