A Type Discipline for Message Passing Parallel Programs.

Saved in:

Bibliographic Details
Title:	A Type Discipline for Message Passing Parallel Programs.
Authors:	VASCONCELOS, VASCO T.¹, vmvasconcelos@ciencias.ulisboa.pt, MARTINS, FRANCISCO², fmartins@acm.org, LÓPEZ, HUGO-ANDRÉS³, lopez@di.ku.dk, YOSHIDA, NOBUKO⁴, n.yoshida@imperial.ac.uk
Source:	ACM Transactions on Programming Languages & Systems; Dec2022, Vol. 44 Issue 4, p1-55, 55p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/3552519